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 - 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
DBLP: Tiziana Margaria
vldbarc.org
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: ...
Publicationsscce.info
scce.info
Peter Kelb Tiziana Margaria Michael Mendler Claudia Gsottberger · A formal requirements engineering method for specification, synthesis, and verification.
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},
Mosel: a flexible toolset for Monadic Second-order Logic
ecatalog.dcc.edu.sa
Author(s) : Claudia Gsottberger Michael Mendler Tiziana Margaria Peter Kelb,. Publisher : N/A. Publication Date : ISSN : N/A. Abstract : Abstract. Mosel is a ...
Next CiteSeer Research Lab
citeseer.uark.edu
by Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger. "... Introduction Mosel [6] is a new system for the analysis and ...
Verwandte Suchanfragen zu Claudia Gsottberger
Peter Habermehl Gunter Peter Harald Ganzinger | Alex Groce Paul Gastin Heinrich Hußmann | Peter Kelb Stefan Hoereth Michael Mendler |
Personen Vorname "Claudia" (71176) Name "Gsottberger" (30) |
sortiert nach Relevanz / Datum