@inproceedings{HK96, author = "G. Holzmann and O. Kupferman", title = "Not Checking for Closure under Stuttering", booktitle = "Proceedings of the 2nd International Workshop on the SPIN Verification System", pages = "163-169", address = "DIMCAS", month = "August", year = "1996", }