Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn. Interactive Verification of Concurrent Systems using Symbolic Execution. In Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz, editors, Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008. Volume 418 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
@inproceedings{BalserBRS08,
title = {Interactive Verification of Concurrent Systems using Symbolic Execution},
author = {Michael Balser and Simon Bäumler and Wolfgang Reif and Gerhard Schellhorn},
year = {2008},
url = {http://ceur-ws.org/Vol-418/paper7.pdf},
researchr = {https://researchr.org/publication/BalserBRS08},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008},
editor = {Piotr Rudnicki and Geoff Sutcliffe and Boris Konev and Renate A. Schmidt and Stephan Schulz},
volume = {418},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}