A SAT-Based Debugging Tool for State Machines and Sequence Diagrams (bibtex)
by Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
Reference:
A SAT-Based Debugging Tool for State Machines and Sequence DiagramsPetra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena WidlSoftware Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings, pages 21-40, 2014.
Bibtex Entry:
@inproceedings{DBLP:conf/sle/KaufmannKPSW14,
  author    = {Petra Kaufmann and
               Martin Kronegger and
               Andreas Pfandler and
               Martina Seidl and
               Magdalena Widl},
  title     = {A SAT-Based Debugging Tool for State Machines and Sequence Diagrams},
  booktitle = {Software Language Engineering - 7th International Conference, {SLE}
               2014, V{\"{a}}ster{\aa}s, Sweden, September 15-16, 2014. Proceedings},
  year      = {2014},
  pages     = {21--40},
  crossref  = {DBLP:conf/sle/2014},
  doi       = {10.1007/978-3-319-11245-9_2},
}
Powered by bibtexbrowser