- Sprache
-
Englisch
- Identifier
-
1136718818
Thema
Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Beteiligte
- Neumann, René
- Esparza Estaun, Francisco Javier
- Nipkow, Tobias
Ähnliche Objekte (12)
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Model-based Plan Assessment for Autonomous Technical Systems
Normalization of Horn Clauses with Disequality Constraints
Methods for the Diagnosis and Automatic Repair of Software Systems
Verification of Reachability Properties and Termination for Probabilistic Systems
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
Frameworks for analyzing multi-threaded C
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Proving Noninterference in Multi-Agent Systems
Workflow Nets : Reduction Rules and Games
Constraint-based Analysis of Distributed Systems
A Unified Translation of Linear Temporal Logic to ω-Automata
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Model-based Plan Assessment for Autonomous Technical Systems
Normalization of Horn Clauses with Disequality Constraints
Methods for the Diagnosis and Automatic Repair of Software Systems
Verification of Reachability Properties and Termination for Probabilistic Systems
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
Frameworks for analyzing multi-threaded C
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Proving Noninterference in Multi-Agent Systems
Workflow Nets : Reduction Rules and Games
Constraint-based Analysis of Distributed Systems
A Unified Translation of Linear Temporal Logic to ω-Automata
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Model-based Plan Assessment for Autonomous Technical Systems
Normalization of Horn Clauses with Disequality Constraints
Methods for the Diagnosis and Automatic Repair of Software Systems
Verification of Reachability Properties and Termination for Probabilistic Systems
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
Frameworks for analyzing multi-threaded C
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Proving Noninterference in Multi-Agent Systems
Workflow Nets : Reduction Rules and Games
Constraint-based Analysis of Distributed Systems