ESP-MC: An Experiment in the Use of Verification Tools

• Authors:

• Xiaojun Chen;Paola Inverardi;Carlo Montangero

• Affiliations:

• -;-;-

• Venue:
• ACSC '95 Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge
• Year:
• 1995