Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines (bibtex)
by Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
Reference:
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State MachinesPetra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena WidlMoDeVVa@MoDELS, pages 31-40, 2013.
Bibtex Entry:
@inproceedings{DBLP:conf/models/KaufmannKPSW13,
title = {Global State Checker: Towards SAT-Based Reachability Analysis of
Communicating State Machines},
ee = {http://ceur-ws.org/Vol-1069/06-paper.pdf},
booktitle = {MoDeVVa@MoDELS},
author = {Petra Kaufmann and Martin Kronegger and Andreas Pfandler and Martina
Seidl and Magdalena Widl},
url = {/pubpdf/Global_State_Checker__Towards_SAT-Based_Reachability_Analysis_of_Communicating_State_Machines.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {31-40},
crossref = {DBLP:conf/models/2013modevva},
}
Powered by bibtexbrowser