PAPERS

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.