Florence Maraninchi, Yann Rémond
Mode-Automata: About Modes and States for Reactive Systems
ESOP, 1998.
@inproceedings{ESOP-1998-MaraninchiR, author = "Florence Maraninchi and Yann Rémond", booktitle = "{Proceedings of the Seventh European Symposium on Programming}", doi = "10.1007/BFb0053571", editor = "Chris Hankin", isbn = "3-540-64302-8", pages = "185--199", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Mode-Automata: About Modes and States for Reactive Systems}", volume = 1381, year = 1998, }