Talks and Poster Presentations (with Proceedings-Entry):
P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl:
"A SAT-Based Debugging Tool for State Machines and Sequence Diagrams";
Talk: 7th International Conference on Software Language Engineering (SLE),
Västerås, Sweden;
2014-09-15
- 2014-09-16; in: "Proceedings of the 7th International Conference on Software Language Engineering (SLE)",
(2014),
21
- 40.
Electronic version of the publication:
http://link.springer.com/chapter/10.1007%2F978-3-319-11245-9_2
Related Projects:
Project Head Uwe Egly:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung
Project Head Uwe Egly:
Quantified Boolean Formulas
Project Head Reinhard Pichler:
Effiziente, parametrisierte Algorithmen in Künstlicher Intelligenz und logischem Schließen
Created from the Publication Database of the Vienna University of Technology.