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.