%0 Conference Paper %1 conf/wotug/BrookeP07 %A Brooke, Phillip J. %A Paige, Richard F. %B CPA %D 2007 %E McEwan, Alistair A. %E Schneider, Steve A. %E Ifill, Wilson %E Welch, Peter H. %I IOS Press %K dblp %P 33-49 %T Lazy Exploration and Checking of CSP Models with CSPsim. %U http://dblp.uni-trier.de/db/conf/wotug/cpa2007.html#BrookeP07 %V 65 %@ 978-1-58603-767-3

@inproceedings{conf/wotug/BrookeP07, added-at = {2012-03-23T00:00:00.000+0100}, author = {Brooke, Phillip J. and Paige, Richard F.}, biburl = {https://www.bibsonomy.org/bibtex/2a63d7d074d2e42d6bfbac46a7ef82be4/dblp}, booktitle = {CPA}, crossref = {conf/wotug/2007}, editor = {McEwan, Alistair A. and Schneider, Steve A. and Ifill, Wilson and Welch, Peter H.}, ee = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5965}, interhash = {df7b0bed5e49e3248865b2cca0ff711e}, intrahash = {a63d7d074d2e42d6bfbac46a7ef82be4}, isbn = {978-1-58603-767-3}, keywords = {dblp}, pages = {33-49}, publisher = {IOS Press}, series = {Concurrent Systems Engineering Series}, timestamp = {2012-03-24T11:34:02.000+0100}, title = {Lazy Exploration and Checking of CSP Models with CSPsim.}, url = {http://dblp.uni-trier.de/db/conf/wotug/cpa2007.html#BrookeP07}, volume = 65, year = 2007 }