Michael Benedikt, Clemens Ley, Gabriele Puppis
Automata vs. Logics on Data Words
CSL, 2010.
@inproceedings{CSL-2010-BenediktLP,
author = "Michael Benedikt and Clemens Ley and Gabriele Puppis",
booktitle = "{Proceedings of the 19th EACSL Annual Conference / 24th International Workshop on Computer Science Logic}",
doi = "10.1007/978-3-642-15205-4_12",
isbn = "978-3-642-15204-7",
pages = "110--124",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Automata vs. Logics on Data Words}",
volume = 6247,
year = 2010,
}
Tags: