© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
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 114-125, 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 = {114-125},
keywords = {},
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},
}