@article{unspecified,
    AUTHOR = {John Rushby},
    TITLE = {Model Checking and Other Ways of Automating Formal Methods},
    YEAR = {1995},
    MONTH = {May},
    NOTE = {Position paper for panel on Model Checking for Concurrent Programs},
    ADDRESS = {San Francisco, {CA}},
    URL = {http://www.csl.sri.com/papers/sqw95/},
    BOOKTITLE = {Software Quality Week}
}