Joachim Baran, Howard Barringer. Forays into Sequential Composition and Concatenation in Eagle. In Martin Leucker, editor, Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Volume 5289 of Lecture Notes in Computer Science, pages 69-85, Springer, 2008. [doi]
@inproceedings{BaranB08,
title = {Forays into Sequential Composition and Concatenation in Eagle},
author = {Joachim Baran and Howard Barringer},
year = {2008},
doi = {10.1007/978-3-540-89247-2_5},
url = {http://dx.doi.org/10.1007/978-3-540-89247-2_5},
tags = {composition},
researchr = {https://researchr.org/publication/BaranB08},
cites = {0},
citedby = {0},
pages = {69-85},
booktitle = {Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers},
editor = {Martin Leucker},
volume = {5289},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-89246-5},
}