Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl,
"A SAT-Based Debugging Tool for State Machines and Sequence Diagrams"
: Proceedings of the 7th International Conference on Software Language Engineering (SLE), Serie Lecture Notes in Computer Science (LNCS), Vol. 8706, 2014
Original Titel:
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 7th International Conference on Software Language Engineering (SLE)
Serie:
Lecture Notes in Computer Science (LNCS)
Volume:
8706
Erscheinungsjahr:
2014
Anzahl der Seiten:
20
Notiz zur Publikation:
Vortrag: 7th International Conference on Software Language Engineering (SLE), V\aster\aas, Sweden; 2014-09-15 -- 2014-09-16