Synchronous Observers and the Verification of Reactive Systems (1993)

Cached

Download Links

by Nicolas Halbwachs , Fabienne Lagnier , Pascal Raymond
Venue:Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Twente
Citations:101 - 10 self