Temporal Verification by Diagram Transformations (1996)

Cached

Download Links

by Luca De Alfaro , Zohar Manna
Venue:In Proc. 8 th Intl. Conference on Computer Aided Verification, volume 1102 of LNCS
Citations:9 - 7 self