Kelb, P. ; Margaria, T. ; Mendler, Michael ; Gsottberger, C.:
A sound and efficient tool for M2L(Str.)
.
In: Grumberg, O. (Hrsg.) : Computer-Aided Verification (CAV '97).
Berlin u.a. : Springer, 1997, (Lecture Notes in Computer Science Bd. 1254), S. 448-451.
|
|