Sciweavers

Share
CORR
2011
Springer

An automaton over data words that captures EMSO logic

8 years 1 months ago
An automaton over data words that captures EMSO logic
Benedikt Bollig
Added 13 May 2011
Updated 13 May 2011
Type Journal
Year 2011
Where CORR
Authors Benedikt Bollig
Comments (0)
books