Verification of an Audio Control Protocol (1994)

Cached

Download Links

by Doeko Bosscher , Indra Polak , Frits Vaandrager
Venue:FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS
Citations:49 - 7 self