@inproceedings{DBLP:conf/spin/DonaldsonG05,
author = {Alastair F. Donaldson and
Simon J. Gay},
editor = {Patrice Godefroid},
title = {Etch: An Enhanced Type Checking Tool for {Promela}},
booktitle = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3639},
pages = {266-271},
publisher = {Springer},
year = {2005},
doi = {10.1007/11537328_21},
}