Werner Stephan, Georg Rock, Michael Brodski. Modeling Specification and Verification of an Emergency Closing System. In James N. Etheredge, Bill Z. Manaris, editors, Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, May 22-24, 2000, Orlando, Florida, USA. pages 356-360, AAAI Press, 2000.
@inproceedings{StephanRB00,
title = {Modeling Specification and Verification of an Emergency Closing System},
author = {Werner Stephan and Georg Rock and Michael Brodski},
year = {2000},
tags = {modeling},
researchr = {https://researchr.org/publication/StephanRB00},
cites = {0},
citedby = {0},
pages = {356-360},
booktitle = {Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, May 22-24, 2000, Orlando, Florida, USA},
editor = {James N. Etheredge and Bill Z. Manaris},
publisher = {AAAI Press},
isbn = {1-57735-113-4},
}