Equivalence checking and intersection of deterministic timed finite state machines
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Equivalence checking and intersection of deterministic timed finite state machines ; day:12 ; month:9 ; year:2022 ; pages:1-26
Formal methods in system design ; (12.9.2022), 1-26
- Creator
-
Bresolin, Davide
El-Fakih, Khaled
Villa, Tiziano
Yevtushenko, Nina
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-022-00396-6
- URN
-
urn:nbn:de:101:1-2022112921020709237935
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:26 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
- Bresolin, Davide
- El-Fakih, Khaled
- Villa, Tiziano
- Yevtushenko, Nina
- SpringerLink (Online service)
Other Objects (12)
Directed model checking for timed automata
Using Timed Model Checking for Verifying Workflows
Model checking nondeterministic and randomly timed systems
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
An online model-checking framework for timed automata
Model checking timed UML state machines and collaborations
Equivalence checking of quantum circuits by nonlocality
Automatic equivalence proofs for non-deterministic coalgebras
EQUIVALENCE PROBLEM FOR DETERMINISTIC (k, m)-SHIFT-REGISTERS
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Timed games and deterministic separability: Q/A Session D - Paper D4.D
Publisher Correction: Equivalence checking of quantum circuits by nonlocality
Directed model checking for timed automata
Using Timed Model Checking for Verifying Workflows
Model checking nondeterministic and randomly timed systems
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
An online model-checking framework for timed automata
Model checking timed UML state machines and collaborations
Equivalence checking of quantum circuits by nonlocality
Automatic equivalence proofs for non-deterministic coalgebras
EQUIVALENCE PROBLEM FOR DETERMINISTIC (k, m)-SHIFT-REGISTERS
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Timed games and deterministic separability: Q/A Session D - Paper D4.D
Publisher Correction: Equivalence checking of quantum circuits by nonlocality
Directed model checking for timed automata
Using Timed Model Checking for Verifying Workflows
Model checking nondeterministic and randomly timed systems
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
An online model-checking framework for timed automata
Model checking timed UML state machines and collaborations
Equivalence checking of quantum circuits by nonlocality
Automatic equivalence proofs for non-deterministic coalgebras
EQUIVALENCE PROBLEM FOR DETERMINISTIC (k, m)-SHIFT-REGISTERS
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Timed games and deterministic separability: Q/A Session D - Paper D4.D