Verification of Reactive Systems - Formal Methods and Algorithms (2003)

by K Schneider
Venue:Texts in Theoretical Computer Science (EATCS Series