Skip to contents

Gouverneur, Gerd [Author]

Korrekter Entwurf und Verifikation verteilter Systeme : the Temporal Logic of Transitions - ein unterstützender Rahmen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1996
Große-Rhode, Martin [Author]

Specification of transition categories : an approach to dynamic abstract data types

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1995
Hermanns, Holger [Author]

Interactive Markov chains : and the quest for quantified quality

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2428
Schönherr, Jens [Author]

Verfahren der Erreichbarkeitsanalyse von Transitionssystemen zur formalen Verifikation von Schaltungsbeschreibungen auf der Register-Transfer-Ebene

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2001
Desel, Jörg [Author]

Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart; Leipzig: Teubner, 1998

Published in: Teubner-Texte zur Informatik ; 26
Esparza, Javier [Author]; Heljanko, Keijo [Author]

Unfoldings : a partial-order approach to model checking

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2008

Published in: Monographs in theoretical computer science : an EATCS series
Kröger, Fred [Author]; Merz, Stephan [Author]

Temporal logic and state systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2008

Published in: Texts in theoretical computer science
Broy, Manfred [Editor]

Model-based testing of reactive systems : advanced lectures ; [outcome of a research seminar held in Schloss Dagstuhl in January 2004]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3472
Quintarelli, Elisa [Author]

Model-checking based data retrieval : an application to semistructured and temporal data

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 2917
Cap, Clemens H. [Author]

A calculus of distributed and parallel processes

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart; Leipzig: Teubner, c 2000

Published in: Teubner-Texte zur Informatik ; 31
Vogler, Walter [Author]

Concurrent implementation of asynchronous transition systems

View online
Schließen

Links

https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/51

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Augsburg University Publication Server (OPUS), 2005-01-31
Baier, Christel [Other]; Majster-Cederbaum, Mila [Other]

The connection between an event structure semantics and an operational semantics for TCSP

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim: Universität Mannheim / Institut für Informatik, 1991

Published in: Manuskripte / Reihe Informatik ; 1991-001
Erofeev, Evgeny [Author] ; Best, Eike [Degree supervisor]; Pomello, Lucia [Degree supervisor]

Characterisation of a class of Petri net solvable transition systems

View online
Schließen

Access

https://nbn-resolving.org/urn:nbn:de:gbv:715-oops-40238

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oldenburg, [2019]
Schlachter, Uli Christian [Author] ; Best, Eike [Degree supervisor]; Esparza, Javier [Degree supervisor]

Petri net synthesis and modal specifications

View online
Schließen

Access

http://nbn-resolving.org/urn:nbn:de:gbv:715-oops-38362

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oldenburg, [2018]
Schlachter, Uli Christian [Author] ; Best, Eike [Degree supervisor]; Esparza, Javier [Degree supervisor]

Petri net synthesis and modal specifications

View online
Schließen

Access

https://d-nb.info/1176106503/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oldenburg: BIS der Universität Oldenburg, 2018
Ştefănescu, Alin [Author]

Automatic synthesis of distributed transition systems

View online
Schließen

Access

https://d-nb.info/97997755X/34

kostenfrei

http://elib.uni-stuttgart.de/opus/volltexte/2006/2560/

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Martens, Moritz [Author]

Establishing properties of interaction systems

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2009 ; 2010
Stangier, Christian [Author]

High-level Methods for OBDD-based Sequential Verification ; High-level Methoden für die OBDD-basierte sequentielle Verifikation

View online
Schließen

Links

https://ubt.opus.hbz-nrw.de/frontdoor/index/index/docId/106

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Publication Server of Tier University (OPUS), 2004-06-15
Martens, Moritz [Author]

Establishing properties of interaction systems

View online
Schließen

Access

https://d-nb.info/1000125998/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Online-Ausg.:: 2010, [2010]
Dahlweid, Markus [Contributor]; Schulze, Uwe [Contributor]

High level transition systems of CSP specifications and their application in automated testing

View online
Schließen

Access

https://d-nb.info/975460900/34

kostenfrei

http://elib.suub.uni-bremen.de/publications/diss/html/E-Diss781_HTML.html

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication