Contributions to Proceedings:

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, 164 - 183.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas

Project Head Martina Seidl:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung

Created from the Publication Database of the Vienna University of Technology.