Formal Support for Design Techniques: A Timethreads-LOTOS Approach

• Authors:

• Daniel Amyot;Francis Bordeleau;Raymond J. A. Buhr;Luigi Logrippo

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
• Year:
• 1995