- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
29 S.
- Sprache
-
Englisch
- Erschienen in
-
Report / Martin-Luther-Universität Halle-Wittenberg ; No. 2003,12 : Reports of the Institute of Computer Science
- Klassifikation
-
Mathematik
- Ereignis
-
Veröffentlichung
- (wo)
-
Halle
- (wer)
-
Univ., Fachbereich Mathematik und Informatik
- (wann)
-
2003
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:06 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Molitor, Paul
- Ruppe, Silvio
- Univ., Fachbereich Mathematik und Informatik
Entstanden
- 2003
Ähnliche Objekte (12)
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Bounded Model Checking for Hyperproperties
Theory and Implementation of Software Bounded Model Checking
Verifikation von systemnaher Software mittels Bounded Model Checking
Efficient distributed bounded property checking
On the (un-)decidability of model checking resource-bounded agents
Resource bounded measure and learnability
The parameterized space complexity of model-checking bounded variable first-order logic
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
On pseudorandomness and resource-bounded measure
On the polynomial time bounded measure of degrees
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Bounded Model Checking for Hyperproperties
Theory and Implementation of Software Bounded Model Checking
Verifikation von systemnaher Software mittels Bounded Model Checking
Efficient distributed bounded property checking
On the (un-)decidability of model checking resource-bounded agents
Resource bounded measure and learnability
The parameterized space complexity of model-checking bounded variable first-order logic
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
On pseudorandomness and resource-bounded measure
On the polynomial time bounded measure of degrees
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Bounded Model Checking for Hyperproperties
Theory and Implementation of Software Bounded Model Checking
Verifikation von systemnaher Software mittels Bounded Model Checking
Efficient distributed bounded property checking
On the (un-)decidability of model checking resource-bounded agents
Resource bounded measure and learnability
The parameterized space complexity of model-checking bounded variable first-order logic
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
On pseudorandomness and resource-bounded measure