Fernandez-Mounier-91-b

Jean-Claude Fernandez, Laurent Mounier. A Tool Set for Deciding Behavioral Equivalences. In Proceedings of CONCUR'91 (Amsterdam, The Netherlands), August 1991.

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

Keyword

[ Model-based verification techniques ]

BibTex Reference

@InProceedings{Fernandez-Mounier-91-b,
   Author = {Fernandez, Jean-Claude and Mounier, Laurent},
   Title = {A Tool Set for Deciding Behavioral Equivalences},
   BookTitle = {Proceedings of CONCUR'91 (Amsterdam, The Netherlands)},
   Month = {August},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)