Claudia Gsottberger und Second-Order Logic - Info zur Person

(1 - 10 von 10

)

Mosel: A flexible toolset for monadic second-order logicSpringer

link.springer.com

von P Kelb · · Zitiert von: 61 — Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger. Universits Passau, D Passau (Germany),. {kelb, tiziana,mendler, gsottber}@fmi, ...

Mosel: A flexible toolset for monadic second-order logic |...

link.springer.com

Mosel is a new tool-set for the analysis and verification in Monadic Second-order Logic. In this paper we concentrate on the system's design: Moselis a...

Tools and Algorithms for Construction and Analysis of Systems, Third...

researchr.org

; MOSEL: A FLexible Toolset for Monadic Second-Order LogicPeter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger ; A Brief ...

SCEAS

sceas.csd.auth.gr

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger MOSEL: A FLexible Toolset for Monadic Second-Order Logic. [Citation Graph (0, 0)][DBLP]

Logical Specification of Finite-State Transductions for ...OhioLINK

etd.ohiolink.edu

von N Vaillette · · Zitiert von: 9 — Peter Kelb, Tiziana Margaria, Michael Mendler, and Claudia Gsottberger. MOSEL: A flexible toolset for MOnadic SEcond-order Logic. In Proc.

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger: MOSEL: A FLexible Toolset for Monadic Second-Order Logic. TACAS 1997: , Electronic Edition · pubzone.org · CiteSeerX · Google scholar · BibTeX · bibliographical record in XML · Rance Cleaveland, Tiziana Margaria, Bernhard Steffen: ...

CiteSeerX — Mosel: A Flexible Toolset for Monadic Second-Order Logic

citeseer.ist.psu.edu

by Peter Kelb , Tiziana Margaria , Michael Mendler , Claudia Gsottberger ... {Peter Kelb and Tiziana Margaria and Michael Mendler and Claudia Gsottberger},