DMCA

A.: Ecdar: An environment for compositional design and analysis of real time systems (2010)

Cached

Download Links

by Re David , Kim G. Larsen , Axel Legay , Ulrik Nyman , Andrzej Wąsowski
Venue:In: ATVA. Volume 6252 of LNCS
Citations:11 - 6 self