Claudia Gsottberger und Peter Kelb - Info zur Person

(1 - 17 von 18

)

Mosel: A Sound and Efficient Tool for M2L(Str)Pennsylvania State University

citeseerx.ist.psu.edu

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger. Dept. of Comp. Science, Universit at PassauD Passau (Germany).

Tiziana MargariaUni Trier

dblp.uni-trier.de

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger: MOSEL: A Sound and Efficient Tool for M2L(Str). CAV 1997: text to speech.

dblp: Peter Kelb

dblp.org

List of computer science publications by Peter Kelb

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

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

Conferences in DBLPauth.gr

sceas.csd.auth.gr

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger MOSEL: A Sound and Efficient Tool for M2L(Str). [Citation Graph (0, 0)][DBLP]

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.

BibSLEIGH — MOSEL: A Sound and Efficient Tool for M2L(Str)

bibtex.github.io

Peter Kelb, Tiziana Margaria-Steffen, Michael Mendler, Claudia Gsottberger MOSEL: A Sound and Efficient Tool for M2L(Str) CAV, CAV

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