- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
29 S.
- Language
-
Englisch
- Bibliographic citation
-
Report / Martin-Luther-Universität Halle-Wittenberg ; No. 2003,12 : Reports of the Institute of Computer Science
- Classification
-
Mathematik
- Event
-
Veröffentlichung
- (where)
-
Halle
- (who)
-
Univ., Fachbereich Mathematik und Informatik
- (when)
-
2003
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:06 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Molitor, Paul
- Ruppe, Silvio
- Univ., Fachbereich Mathematik und Informatik
Time of origin
- 2003
Other Objects (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