Christie Bolton
Adding Conflict and Confusion to CSP
FM, 2005.
@inproceedings{FM-2005-Bolton, author = "Christie Bolton", booktitle = "{Proceedings of the 13th International Symposium of Formal Methods Europe}", doi = "10.1007/11526841_15", isbn = "3-540-27882-6", pages = "205--220", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Adding Conflict and Confusion to CSP}", volume = 3582, year = 2005, }