Reachable state space analysis of LOTOS specifications (1994)

by A Kerbrat
Venue:In Proceedings of the 7th international conference on formal description techniques