6. FORTE 1993: Boston, MA, USA

Verification

LOTOS

Invited Talk

Automata and Estelle

Industrial Reports

Time and Algebra

Testing

Protocols and Formal Specification

Timed-LOTOS