© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Extended RTL in the Specification and Verification of an Industrial Press
R. de Lemos and J. Hall
In R. Alur, Y. A. Henzinger, and E. Sontag, editors, Hybrid Systems III, Lecture Notes in Computer Science 1066, pages 182-196, Berlin, Germany, December 1996. Springer-Verlag.Bibtex Record
@inproceedings{934,
author = {R. de Lemos and J. Hall},
title = {{Extended RTL in the Specification and Verification of an Industrial Press}},
month = {December},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/934},
address = {Berlin, Germany},
booktitle = {Hybrid Systems III},
editor = {R. Alur and Y. A. Henzinger and E. Sontag},
publication_type = {inproceedings},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science 1066},
submission_id = {725_945166455},
}