Kelb, P. ; Margaria, T. ; Mendler, Michael ; Gsottberger, C.:
MOSEL: A flexible toolset for monadic second-order logic
.
In: Brinksma, E. (Hrsg.) : Proceedings Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '97).
Berlin u.a. : Springer, 1997, (LNCS Bd. 1217), S. 183-202.
Institution: Professur für Grundlagen der Informatik
|
|