- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Lazy model checking for recursive state machines ; volume:23 ; number:2 ; day:20 ; month:3 ; year:2024 ; pages:369-401 ; date:4.2024
Software and systems modeling ; 23, Heft 2 (20.3.2024), 369-401, 4.2024
- Creator
-
Dubslaff, Clemens
Wienhöft, Patrick
Fehnker, Ansgar
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-024-01159-z
- URN
-
urn:nbn:de:101:1-2407222110573.156848503294
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:47 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
- Dubslaff, Clemens
- Wienhöft, Patrick
- Fehnker, Ansgar
- SpringerLink (Online service)
Other Objects (12)
Model checking abstract state machines
Model Checking UML State Machines and Collaborations
Model checking timed UML state machines and collaborations
Automata-based model checking of recursive systems
Equivalence checking and intersection of deterministic timed finite state machines
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model checking and code generation for UML state machines and collaborations
Model-checking problems, machines and parameterized complexity
Model-checking problems, machines and parameterized complexity
Animating and model checking B specifications with higher order recursive functions
Lazy
Model checking abstract state machines
Model Checking UML State Machines and Collaborations
Model checking timed UML state machines and collaborations
Automata-based model checking of recursive systems
Equivalence checking and intersection of deterministic timed finite state machines
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model checking and code generation for UML state machines and collaborations
Model-checking problems, machines and parameterized complexity
Model-checking problems, machines and parameterized complexity
Animating and model checking B specifications with higher order recursive functions
Lazy
Model checking abstract state machines
Model Checking UML State Machines and Collaborations
Model checking timed UML state machines and collaborations
Automata-based model checking of recursive systems
Equivalence checking and intersection of deterministic timed finite state machines
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model checking and code generation for UML state machines and collaborations
Model-checking problems, machines and parameterized complexity
Model-checking problems, machines and parameterized complexity
Animating and model checking B specifications with higher order recursive functions