Sciweavers

WIA
2005
Springer

Deeper Connections Between LTL and Alternating Automata

14 years 6 months ago
Deeper Connections Between LTL and Alternating Automata
Radek Pelánek, Jan Strejcek
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where WIA
Authors Radek Pelánek, Jan Strejcek
Comments (0)