[Zurück]

@inproceedings{TUW-233363,
    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},
    booktitle = {Proceedings of the 7th International Conference on Software Language Engineering (SLE)},
    year = {2014},
    pages = {21--40},
    url = {http://link.springer.com/chapter/10.1007%2F978-3-319-11245-9_2},
    note = {Vortrag: 7th International Conference on Software Language Engineering (SLE), V{\"a}ster{\aa}s, Sweden; 2014-09-15 -- 2014-09-16}
}