[Back]


Talks and Poster Presentations (without Proceedings-Entry):
P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl:
"A SAT-based Debugging Tool for State Machines and Sequence Diagrams";
Talk: PUMA/RiSE Workshop, Mondsee; 2014-09-29 - 2014-10-03.

Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_236959.pdf

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