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.
Abstract is missing.