Claudia Gsottberger und Michael Mendler - Info zur Person

(1 - 18 von 20

)

Model Checking Software: 13th International SPIN Workshop, Vienna,...

books.google.de

Tiziana Margaria, Michael Mendler, and Claudia Gsottberger. Modelling and Verification of Unbounded Length Systolic Arrays in Monadic Second Order Logic.

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

dblp: Michael Mendler

dblp.uni-trier.de

List of computer science publications by Michael Mendler

DBLP - N. P. Mendler

dblp.cloudmining.net

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger : MOSEL: A FLexible Toolset for Monadic Second-Order Logic. TACAS

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

DBLife: MOSEL: A FLexible Toolset for Monadic Second-Order Logic

dblife.cs.wisc.edu

Authors: Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger. Download: http://dx.doi.org BFb Other: BibTeX PubZone ...

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

dblife.cs.wisc.edu

Authors: Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger. Download: http://dx.doi.org _45. Other: BibTeX PubZone ...

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

Alle Infos zum Namen "Claudia Gsottberger"

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