Verification techniques for LOTOS
Ursula Martin and M Thomas
Book Title
FME'94: Industrial Benefit of Formal Methods
Organisation
Springer Berlin/Heidelberg
Pages
83–92
Year
1994
Ursula Martin and M Thomas