Fernandez-Mounier-90

Jean-Claude Fernandez, Laurent Mounier. Verifying Bisimulations ``On the Fly''. In Proceedings of the 3rd International Conference on Formal Description Techniques FORTE'90 (Madrid, Spain), Juan Quemada, José Manas, Enrique V\'azquez (eds.), November 1990.

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

Keyword

[ Model-based verification techniques ]

BibTex Reference

@InProceedings{Fernandez-Mounier-90,
   Author = {Fernandez, Jean-Claude and Mounier, Laurent},
   Title = {Verifying Bisimulations ``On the Fly''},
   BookTitle = {Proceedings of the 3rd International Conference on Formal Description Techniques {FORTE}'90 (Madrid, Spain)},
   editor = {Quemada, Juan and Manas, José and V\'azquez, Enrique},
   Publisher = {North Holland},
   Month = {November},
   Year = {1990}
}

EndNote Reference [help]

Get EndNote Reference (.ref)