G.J. Holzmann and Margaret H. Smith. A practical method for the verification of event-driven software. In Proceedings of the 1999 international conference on Software engineering ICSE99, pages 597-607, Los Angeles, CA, USA, May 1999. ACM Press.
author author author author author author title title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle pages pages location location location location date date publisher publisher