Compositional Specification and Structured Verification of Hybrid Systems in cTLA (1998)

Cached

Download Links

by Peter Herrmann , Günter Graw , Heiko Krumm
Venue:In Proc. 1st IEEE International Symposium on Object-oriented Real-time distributed Computing
Citations:8 - 6 self