Title: | Unfolding-based Partial Order Reduction |
---|---|
Links: | Homepage Document as PDF |
Authors: | César Rodríguez |
Marcelo Sousa | |
Subodh Sharma | |
Daniel Kroening EMail | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{rssk2015, AUTHOR = { Rodr{\'i}guez, C{\'e}sar and Sousa, Marcelo and Sharma, Subodh and Kroening, Daniel }, TITLE = { Unfolding-based Partial Order Reduction }, BOOKTITLE = { Concurrency Theory (CONCUR) }, YEAR = { 2015 }, PUBLISHER = { Dagstuhl Publishing }, PAGES = { 456--469 }, ISBN = { 978-3-939897-91-0 }, SERIES = { Leibniz International Proceedings in Informatics }, VOLUME = { 42 }, EDITOR = { Luca Aceto and David de Frutos Escrig }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.