An automata-theoretic approach to branching-time model checking (Extended abstract)
Orna Bernholtz
◽
Moshe Y. Vardi
◽
Pierre Wolper
2000 ◽
Vol 47
(2)
◽
pp. 312-360
◽
Orna Kupferman
◽
Moshe Y. Vardi
◽
Pierre Wolper
Richard Mayr
◽
Patrick Totzke
2013 ◽
Vol 42
(3)
◽
pp. 884-923
◽
Stefan Göller
◽
Markus Lohrey
2002 ◽
Vol 51
(1)
◽
pp. 43-75
◽
Stefania Gnesi
◽
Diego Latella
◽
Mieke Massink
2016 ◽
Vol 143
(3-4)
◽
pp. 339-353
◽
Richard Mayr
◽
Patrick Totzke
2014 ◽
Vol 80
(1)
◽
pp. 139-156
◽
Tomáš Brázdil
◽
Václav Brožek
◽
Vojtěch Forejt
◽
Antonín Kučera