A.: Ecdar: An environment for compositional design and analysis of real time systems (2010)
by
Re David
,
Kim G. Larsen
,
Axel Legay
,
Ulrik Nyman
,
Andrzej Wąsowski
Venue: | In: ATVA. Volume 6252 of LNCS |
Citations: | 11 - 6 self |