Verification of Timed Algorithms: Gurevich Abstract State Machines versus First Order Timed Logic

  • Published 2000
Sorry, there's nothing here.

Topics

Cite this paper

@inproceedings{2000VerificationOT, title={Verification of Timed Algorithms: Gurevich Abstract State Machines versus First Order Timed Logic }, author={}, year={2000} }