Sciweavers

LPAR
2007
Springer

One-Pass Tableaux for Computation Tree Logic

13 years 9 months ago
One-Pass Tableaux for Computation Tree Logic
Pietro Abate, Rajeev Goré, Florian Widmann
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where LPAR
Authors Pietro Abate, Rajeev Goré, Florian Widmann
Comments (0)