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.
|