An Interpreter for LOTOS: A Specification Language for Distributed Systems (0)

by L Logrippo, A Obaid, J P Briand, M C Fehri
Venue:Software - Practice & Experience