%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 }