Verification of Reactive Systems

Bok av Klaus Schneider