Sadie Creese. Industrial Strength CSP: Opportunities and Challenges in Model-Checking. In Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders, editors, Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers. Volume 3525 of Lecture Notes in Computer Science, pages 292-292, Springer, 2004. [doi]
@inproceedings{Creese04, title = {Industrial Strength CSP: Opportunities and Challenges in Model-Checking}, author = {Sadie Creese}, year = {2004}, doi = {10.1007/11423348_18}, url = {http://dx.doi.org/10.1007/11423348_18}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Creese04}, cites = {0}, citedby = {0}, pages = {292}, booktitle = {Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers}, editor = {Ali E. Abdallah and Cliff B. Jones and Jeff W. Sanders}, volume = {3525}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-25813-2}, }