The Embedded Systems Design Challenge (2006)

Cached

Download Links

by Thomas A. Henzinger , Joseph Sifakis
Venue:Proceedings of the 14th International Symposium on Formal Methods (FM), Lecture Notes in Computer Science
Citations:50 - 2 self