Elie Najm, Frank Olsen
Reactive EFSMs — Reactive Promela/RSPIN
TACAS, 1996.
@inproceedings{TACAS-1996-NajmO, author = "Elie Najm and Frank Olsen", booktitle = "{Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/3-540-61042-1_54", isbn = "3-540-61042-1", pages = "349--368", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Reactive EFSMs — Reactive Promela/RSPIN}", volume = 1055, year = 1996, }