Specifying Reactive Systems in B AMN

Kevin Lano. Specifying Reactive Systems in B AMN. In Jonathan P. Bowen, Michael G. Hinchey, David Till, editors, ZUM 97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings. Volume 1212 of Lecture Notes in Computer Science, pages 242-274, Springer, 1997.

Abstract

Abstract is missing.