Inproceedings,
Combining Partial Order Reduction with Bounded Model Checking.
J. Meulen, and C. Pecheur.CPA, volume 67 of Concurrent Systems Engineering Series, page 29-48. IOS Press, (2009)
Meta data
- BibTeX key
- conf/wotug/MeulenP09
- entry type
- inproceedings
- booktitle
- CPA
- year
- 2009
- pages
- 29-48
- publisher
- IOS Press
- series
- Concurrent Systems Engineering Series
- volume
- 67
- crossref
- conf/wotug/2009
- ee
- http://dx.doi.org/10.3233/978-1-60750-065-0-29
- isbn
- 978-1-60750-065-0
- url
- http://dblp.uni-trier.de/db/conf/wotug/cpa2009.html#MeulenP09
Tags
Users
Comments and Reviewsshow / hide
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
}