rajeev alur
Computer Aided Verification
Print on DemandInhaltsangabeSymbolic verification of communication protocols with infinite state spaces using QD...
Hybrid Systems III
Print on DemandInhaltsangabeA game-theoretic approach to hybrid system design.- Verifying clocked transition sys...
Computer Aided Verification
Print on DemandThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Bost...
- 1