Beiträge in Tagungsbänden:
M. Widl, A. Biere, P. Brosch, U. Egly, M. Heule, G. Kappel, M. Seidl, H. Tompits:
"Guided Merging of Sequence Diagrams";
in: "Software Language Engineering",
Lecture Notes in Computer Science Volume 7745,
Springer,
2013,
ISSN: 0302-9743,
S. 164
- 183.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-36089-3_10
Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas
Projektleitung Martina Seidl:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung