%0 Conference Paper %1 conf/tacas/RoscoeGGHJS95 %A Roscoe, A. W. %A Gardiner, Paul H. B. %A Goldsmith, Michael %A Hulance, J. R. %A Jackson, D. M. %A Scattergood, J. Bryan %B TACAS %D 1995 %E Brinksma, Ed %E Cleaveland, Rance %E Larsen, Kim Guldstrand %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 133-152 %T Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock. %U http://dblp.uni-trier.de/db/conf/tacas/tacas95.html#RoscoeGGHJS95 %V 1019 %@ 3-540-60630-0

@inproceedings{conf/tacas/RoscoeGGHJS95, added-at = {2020-05-18T00:00:00.000+0200}, author = {Roscoe, A. W. and Gardiner, Paul H. B. and Goldsmith, Michael and Hulance, J. R. and Jackson, D. M. and Scattergood, J. Bryan}, biburl = {https://www.bibsonomy.org/bibtex/2f7145b049359f29472b82c9e4849e9eb/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/1995}, editor = {Brinksma, Ed and Cleaveland, Rance and Larsen, Kim Guldstrand and Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/3-540-60630-0_7}, interhash = {ca2b50cffe83314bc3570d6e7ab0659a}, intrahash = {f7145b049359f29472b82c9e4849e9eb}, isbn = {3-540-60630-0}, keywords = {dblp}, pages = {133-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-05-19T12:35:32.000+0200}, title = {Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas95.html#RoscoeGGHJS95}, volume = 1019, year = 1995 }