Formal Support for Design Techniques: A Timethreads-LOTOS Approach.

Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo

Browse the full FORTE paper archive.