Verification of Reactive Systems: Formal Methods and Algorithms (0)

by K Schneider