Sciweavers

CORR
2011
Springer

An automaton over data words that captures EMSO logic

13 years 7 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)