The characterization of implementations of LOTOS specifications (1986)

by E Brinksma, G Scollo
Venue:University of Twente