Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/wotug/MeulenP09
%A Meulen, José Vander
%A Pecheur, Charles
%B CPA
%D 2009
%E Welch, Peter H.
%E Roebbers, Herman W.
%E Broenink, Jan F.
%E Barnes, Fred R. M.
%E Ritson, Carl G.
%E Sampson, Adam T.
%E Stiles, Gardiner S.
%E Vinter, Brian
%I IOS Press
%K dblp
%P 29-48
%T Combining Partial Order Reduction with Bounded Model Checking.
%U http://dblp.uni-trier.de/db/conf/wotug/cpa2009.html#MeulenP09
%V 67
%@ 978-1-60750-065-0
@inproceedings{conf/wotug/MeulenP09,
added-at = {2010-08-24T00:00:00.000+0200},
author = {Meulen, José Vander and Pecheur, Charles},
biburl = {https://www.bibsonomy.org/bibtex/20cc5a55033d10d2bd8bfefa5913f9025/dblp},
booktitle = {CPA},
crossref = {conf/wotug/2009},
editor = {Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Fred R. M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian},
ee = {http://dx.doi.org/10.3233/978-1-60750-065-0-29},
interhash = {f140b26aefce6445e15e0c179eae393d},
intrahash = {0cc5a55033d10d2bd8bfefa5913f9025},
isbn = {978-1-60750-065-0},
keywords = {dblp},
pages = {29-48},
publisher = {IOS Press},
series = {Concurrent Systems Engineering Series},
timestamp = {2013-11-20T11:36:20.000+0100},
title = {Combining Partial Order Reduction with Bounded Model Checking.},
url = {http://dblp.uni-trier.de/db/conf/wotug/cpa2009.html#MeulenP09},
volume = 67,
year = 2009
}