© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Analysis of Safety Requirements for a Chemical Batch Processing System
R. de Lemos, A. Saeed, and T. Anderson
In T. Hilburn, G. Suski, and J. Zalewski, editors, Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies, pages 182-196, Daytona Beach, Florida, USA, November 1996. Pergamon/Elsevier Science, Oxford UK.Bibtex Record
@inproceedings{933,
author = {R. de Lemos and A. Saeed and T. Anderson},
title = {{Analysis of Safety Requirements for a Chemical Batch Processing System}},
month = {November},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/933},
address = {Daytona Beach, Florida, USA},
booktitle = {Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies},
editor = {T. Hilburn and G. Suski and J. Zalewski},
publication_type = {inproceedings},
publisher = {Pergamon/Elsevier Science, Oxford UK},
submission_id = {12000_945095943},
}