Static Analysis of Parity Games: Alternating Reachability Under Parity
Attributed to:
Complete and Efficient Checks for Branching-Time Abstractions
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-27810-0_8
Publication URI: http://www.springer.com/gb/book/9783319278094
Type: Book Chapter
Book Title: Semantics, Logics, and Calculi (2016)
Page Reference: 159-177