Claudia Gsottberger und Mosel - Info zur Person

(1 - 17 von 20

)

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.

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

Claudia Gsottberger's research works | Universität Passau ...ResearchGate

www.researchgate.net

Claudia Gsottberger's 6 research works with 38 citations and 177 reads, including: Mosel : A sound and efficient tool for M2L(Str)

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

Bibliographies : « Mosel » – Grafiatiwww.grafiati.com › literature-selections › mosel

www.grafiati.com

Kelb, Peter, Tiziana Margaria, Michael Mendier et Claudia Gsottberger. « Mosel: A sound and efficient tool for M2L(Str) ». Dans Computer Aided Verification, ...

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