InhaltsangabeSymbolic verification of communication protocols with infinite state spaces using QD...
InhaltsangabeA game-theoretic approach to hybrid system design.- Verifying clocked transition sys...
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Bost...