Skip navigation
Zur Startseite
Auflistung nach
Bereiche
& Sammlungen
Auflistung nach:
Erscheinungsdatum
Autor
Titel
Schriftenreihe
Institut
Hilfe
Über OPUS
Publizieren mit OPUS
Rechtliche Informationen
Suchen & Browsen
Anmelden:
Mein OPUS
Abonnement
Neuerscheinungen
Benutzerprofil bearbeiten
Universität Stuttgart
OPUS - Online Publikationen der Universität Stuttgart
Deutsch
English
OPUS
Suche
Suche:
Gesamter Bestand
Universität Stuttgart
05 Fakultät Informatik, Elektrotechnik und Informationstechnik
nach
Aktuelle Facetten:
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Neue Suche starten
Facetten hinzufügen:
Wenden Sie Filter/Facetten an, um Ihre Suche zu verfeinern.
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Treffer 21-30 von 38 (Suchzeit: 0.009 Sekunden).
Zurück
1
2
3
4
Weiter
Treffer Dokumente:
Erscheinungsdatum
Titel
Autor(en)
2006
Abstraction refinement with craig interpolation and symbolic pushdown systems
Esparza, Javier
;
Kiefer, Stefan
;
Schwoon, Stefan
2004
A case study : verifying a mutual exclusion protocol with process creation using graph transformation systems
Dotti, Fernando Luis
;
König, Barbara
;
Santos, Osmar Marchi dos
;
Ribeiro, Leila
2004
A note on on-the-fly verification algorithms
Schwoon, Stefan
;
Esparza, Javier
2006
Infinite state model checking of propositional dynamic logics
Göller, Stefan
;
Lohrey, Markus
1989
XPASCAL - eine Erweiterung der Sprache Pascal mit exakter Arithmetik
Lagally, Klaus
2006
Counterexample-guided abstraction refinement for the analysis of graph transformation systems
König, Barbara
;
Kozioura, Vitali
2011
Around dot-depth one
Kufleitner, Manfred
;
Lauser, Alexander
1998
Endbericht der Projektgruppe Fahrgemeinschaften
Heid, Herbert
;
Nicklas, Daniela
;
Porrmann, Alexander
;
Schäffer, Thomas
;
Scholz, Volker
1993
ArabTeX : a system for typesetting Arabic; user manual version 3.00
Lagally, Klaus
1998
Makanin's algorithm for solving word equations with regular constraints
Diekert, Volker
Facetten
Autor
8
Kufleitner, Manfred
7
Lohrey, Markus
4
Diekert, Volker
4
Esparza, Javier
4
Lagally, Klaus
4
Lauser, Alexander
4
Schwoon, Stefan
3
König, Barbara
2
Fleischmann, Jörg
2
Göller, Stefan
.
weiter>
Institut
1
Sonstige Einrichtung
Erscheinungsdatum
8
2010 - 2011
20
2000 - 2009
9
1990 - 1999
1
1989 - 1989