[Zurück]

@unpublished{TUW-236959,
    author = {Kaufmann, Petra and Kronegger, Martin and Pfandler, Andreas and Seidl, Martina and Widl, Magdalena},
    title = {A SAT-based Debugging Tool for State Machines and Sequence Diagrams},
    year = {2014},
    note = {Vortrag: PUMA/RiSE Workshop, Mondsee; 2014-09-29 -- 2014-10-03}
}