[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):

P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl:
"A SAT-based Debugging Tool for State Machines and Sequence Diagrams";
Vortrag: PUMA/RiSE Workshop, Mondsee; 29.09.2014 - 03.10.2014.



Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_236959.pdf


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.