Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan. Model Checking Concurrent Programs with Nondeterminism and Randomization. In Kamal Lodaya, Meena Mahajan, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India. Volume 8 of LIPIcs, pages 364-375, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [doi]
@inproceedings{ChadhaSV10,
title = {Model Checking Concurrent Programs with Nondeterminism and Randomization},
author = {Rohit Chadha and A. Prasad Sistla and Mahesh Viswanathan},
year = {2010},
doi = {10.4230/LIPIcs.FSTTCS.2010.364},
url = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2010.364},
tags = {meta programming, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/ChadhaSV10},
cites = {0},
citedby = {0},
pages = {364-375},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India},
editor = {Kamal Lodaya and Meena Mahajan},
volume = {8},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-23-1},
}