Christie Bolton, Gavin Lowe. On the Automatic Verification of Non-Standard Measures of Consistency. In Joseph M. Morris, Benjamin Aziz, Frédéric Oehl, editors, 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003. Workshops in Computing, BCS, 2003. [doi]
@inproceedings{BoltonL03,
title = {On the Automatic Verification of Non-Standard Measures of Consistency},
author = {Christie Bolton and Gavin Lowe},
year = {2003},
url = {http://ewic.bcs.org/conferences/2003/iwfm03/papers/paper5.htm},
tags = {consistency},
researchr = {https://researchr.org/publication/BoltonL03},
cites = {0},
citedby = {0},
booktitle = {6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003},
editor = {Joseph M. Morris and Benjamin Aziz and Frédéric Oehl},
series = {Workshops in Computing},
publisher = {BCS},
}