- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Differential Dynamic Logic for Hybrid Systems ; volume:41 ; number:2 ; day:20 ; month:8 ; year:2008 ; pages:143-189 ; date:8.2008
Journal of automated reasoning ; 41, Heft 2 (20.8.2008), 143-189, 8.2008
- Creator
-
Platzer, André
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-008-9103-8
- URN
-
urn:nbn:de:101:1-2022012520081524251431
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:28 AM CEST
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
- Platzer, André
- SpringerLink (Online service)
Other Objects (12)
Correction to: Differential Dynamic Logic for Hybrid Systems
Relational Differential Dynamic Logic
Hybrid dynamic logic institutions for event/data-based systems
Hybrid dynamic logic institutions for event/data-based systems
Differential dynamic logics - automated theorem proving for hybrid systems
A Complete Uniform Substitution Calculus for Differential Dynamic Logic
Logic-based modeling of dynamic object systems
Fuzzy-logic framework for future dynamic cellular systems
First-order dynamic logic
Modeling of dynamic object systems : a logic based approach
Dynamic Łukasiewicz logic and its application to immune system
A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
Correction to: Differential Dynamic Logic for Hybrid Systems
Relational Differential Dynamic Logic
Hybrid dynamic logic institutions for event/data-based systems
Hybrid dynamic logic institutions for event/data-based systems
Differential dynamic logics - automated theorem proving for hybrid systems
A Complete Uniform Substitution Calculus for Differential Dynamic Logic
Logic-based modeling of dynamic object systems
Fuzzy-logic framework for future dynamic cellular systems
First-order dynamic logic
Modeling of dynamic object systems : a logic based approach
Dynamic Łukasiewicz logic and its application to immune system
A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
Correction to: Differential Dynamic Logic for Hybrid Systems
Relational Differential Dynamic Logic
Hybrid dynamic logic institutions for event/data-based systems
Hybrid dynamic logic institutions for event/data-based systems
Differential dynamic logics - automated theorem proving for hybrid systems
A Complete Uniform Substitution Calculus for Differential Dynamic Logic
Logic-based modeling of dynamic object systems
Fuzzy-logic framework for future dynamic cellular systems
First-order dynamic logic
Modeling of dynamic object systems : a logic based approach
Dynamic Łukasiewicz logic and its application to immune system