^^PAGEHEADLINE ^^
-
Computer Aided Verification
Springer Verlag GmbH 17.07.1996 - 1996Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeSymbolic verification of communication protocols with infinite state spaces using QD...
-
Hybrid Systems III
Springer Verlag GmbH 24.04.1996 - 1996Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeA game-theoretic approach to hybrid system design.- Verifying clocked transition sys...
-
Computer Aided Verification
Springer Verlag GmbH 29.06.2004 - 2004Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Bost...
- 1