[Zurück]

@inproceedings{TUW-220825,
    author = {Kaufmann, Petra and Kronegger, Martin and Pfandler, Andreas and Seidl, Martina and Widl, Magdalena},
    title = {Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines},
    booktitle = {Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)},
    year = {2013},
    pages = {31--40},
    publisher = {CEUR Workshop Proceedings},
    address = {Vol-1069},
    url = {http://publik.tuwien.ac.at/files/PubDat_220825.pdf},
    issn = {1613-0073},
    keywords = {SAT, state machine, reachability analysis},
    note = {Vortrag: Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2013), Miami, USA; 2013-10-01}
}