Sciweavers

CORR
2008
Springer

Safety alternating automata on data words

14 years 16 days ago
Safety alternating automata on data words
Ranko Lazic
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2008
Where CORR
Authors Ranko Lazic
Comments (0)