Article citationsMore>>

Heiner, M. and Heisel, M. (1999) Modeling Safety Critical Systems with Z and Petri-Nets. Proceedings of International Conference on Computer Safety, Reliability and Security, London, 26-28 October 1999, 361-374.
http://dx.doi.org/10.1007/3-540-48249-0_31

has been cited by the following article: