Partial-order reduction for parity games and parameterised Boolean equation systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Partial-order reduction for parity games and parameterised Boolean equation systems ; volume:24 ; number:5 ; day:2 ; month:10 ; year:2022 ; pages:735-756 ; date:10.2022
International journal on software tools for technology transfer ; 24, Heft 5 (2.10.2022), 735-756, 10.2022
- Creator
-
Neele, Thomas
Willemse, Tim A. C.
Wesselink, Wieger
Valmari, Antti
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-022-00672-0
- URN
-
urn:nbn:de:101:1-2023012909111841243294
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:20 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
- Neele, Thomas
- Willemse, Tim A. C.
- Wesselink, Wieger
- Valmari, Antti
- SpringerLink (Online service)
Other Objects (12)
Parity game reductions
Improving parity games in practice
Optimality and resilience in parity games
Constrained Clustering Problems and Parity Games
Verification of modal properties using Boolean equation systems
Partial order games
Parity games, separations, and the modal μ-calculus
Parity games, separations, and the modal μ-calculus
Partial Provability in Communication Games
Solution of a partial differential equation.
Note on the partial differential equation ... .
Boolean algebras
Parity game reductions
Improving parity games in practice
Optimality and resilience in parity games
Constrained Clustering Problems and Parity Games
Verification of modal properties using Boolean equation systems
Partial order games
Parity games, separations, and the modal μ-calculus
Parity games, separations, and the modal μ-calculus
Partial Provability in Communication Games
Solution of a partial differential equation.
Note on the partial differential equation ... .
Boolean algebras
Parity game reductions
Improving parity games in practice
Optimality and resilience in parity games
Constrained Clustering Problems and Parity Games
Verification of modal properties using Boolean equation systems
Partial order games
Parity games, separations, and the modal μ-calculus
Parity games, separations, and the modal μ-calculus
Partial Provability in Communication Games
Solution of a partial differential equation.
Note on the partial differential equation ... .