Zum Inhalt springen

Heckel, Reiko [Verfasser:in]

Open graph transformation systems : a new approach to the compositional modelling of concurrent and reactive systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1998
Esparza, Javier [Verfasser:in]; Heljanko, Keijo [Verfasser:in]

Unfoldings : a partial-order approach to model checking

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2008

Erschienen in: Monographs in theoretical computer science : an EATCS series
Stirling, Colin [Verfasser:in]; Stirling, Colin P. [Verfasser:in]

Modal and temporal properties of processes

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York; Berlin; Heidelberg [u.a.]: Springer, 2001

Erschienen in: Texts in computer science
Moller, Faron [Herausgeber:in] ; Higher Order Workshop 8 1994 Banff, Alberta

Logics for concurrency : structure versus automata; [VIII. Banff Higher Order Workshop, held from August 27th to September 3rd, 1994, at the Banff Centre in Banff, Canada]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 1043
Manna, Zohar [Verfasser:in]; Pnueli, Amir [Verfasser:in]

The temporal logic of reactive and concurrent systems : specification

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York; Berlin; Heidelberg [u.a.]: Springer, 1992
Bradfield, Julian [Verfasser:in]

Verifying temporal properties of systems

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston; [Stuttgart] [u.a.]: Birkhäuser, 1992

Erschienen in: Progress in theoretical computer science ; 6
Ebinger, Werner [Verfasser:in]

Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1994
Li, Chunping [Verfasser:in]

Reasoning about processes and continuous change : analysis and implementation - [Als Ms. gedr.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Aachen: Shaker, 1999

Erschienen in: Berichte aus der Informatik
Tofan, Bogdan [Verfasser:in]

Compositional Concurrent Program Verification with RGITL

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Augsburg University Publication Server (OPUS), 2014-10-07
Balser, Michael [Verfasser:in]

Verifying Concurrent Systems with Symbolic Execution : Temporal Reasoning is Symbolic Execution with a Little Induction

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Augsburg University Publication Server (OPUS), 2006-07-03
Moller, Faron [Verfasser:in] ; Birtwistle, Graham [Sonstige Person, Familie und Körperschaft]

Logics for Concurrency : Structure versus Automata

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

Erschienen in: Lecture notes in computer science ; 1043
Banieqbal, Behnam [Verfasser:in] ; Barringer, Howard [Sonstige Person, Familie und Körperschaft]; Pnueli, Amir [Sonstige Person, Familie und Körperschaft]

Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1989

Erschienen in: Lecture notes in computer science ; 398
Queiroz, Ruy J. G. B. [Verfasser:in]

Logic for Concurrency and Synchronisation

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht: Kluwer Academic Publishers, 2003

Erschienen in: Trends in Logic, Studia Logica Library ; 15- SpringerLink ; Bücher
Moller, Faron [Sonstige Person, Familie und Körperschaft]

Logics for concurrency : structure versus automata

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1996 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 104300
Banieqbal, Behnam [Sonstige Person, Familie und Körperschaft]

Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1989 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 39800
Tofan, Bogdan [Verfasser:in] ; Reif, Wolfgang [Akademische:r Betreuer:in]

Compositional Concurrent Program Verification with RGITL

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

... zum E-Book via Deutsche Nationalbibliothek

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Augsburg: Universität Augsburg, 2014
Markert, Florian [Verfasser:in] ; Eveking, Hans [Akademische:r Betreuer:in]; Schürr, Andy [Akademische:r Betreuer:in]

Formale Anforderungsanalyse und Testunterstützung im Produktlinienkontext

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

... zum E-Book via Deutsche Nationalbibliothek

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2012
Balser, Michael [Verfasser:in]

Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

... zum E-Book via Deutsche Nationalbibliothek

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Appold, Christian [Verfasser:in] ; Kolla, Reiner [Sonstige Person, Familie und Körperschaft]; Scholl, Christoph [Sonstige Person, Familie und Körperschaft]

Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

... zum E-Book via Deutsche Nationalbibliothek

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Würzburg: Universität Würzburg, 2016

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr