© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Verifying the Properties of a Railway Signalling Device
JCP Woodcock and AA McEwan
In Proceedings of the International Conference on Integrated Design and Process Technology, pages 182-196, Passadena, June 2002. IDPT Press Winner of the Rudolph Christian Karl Diesel best paper award.Bibtex Record
@inproceedings{1537,
author = {JCP Woodcock and AA McEwan},
title = {{Verifying the Properties of a Railway Signalling Device}},
month = {June},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Winner of the Rudolph Christian Karl Diesel best paper award},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1537},
publication_type = {inproceedings},
submission_id = {20154_1034345265},
booktitle = {Proceedings of the International Conference on Integrated Design and Process Technology},
address = {Passadena},
publisher = {IDPT Press},
}