@inproceedings{PVS96:CAV,
    AUTHOR = {{S.} Owre and {S.} Rajan and {J.M.} Rushby and {N.} Shankar and {M.K.} Srivas},
    TITLE = {{PVS:} Combining Specification, Proof Checking, and Model Checking},
    BOOKTITLE = {Computer-Aided Verification, {CAV} '96},
    YEAR = {1996},
    EDITOR = {Rajeev Alur and Thomas {A.} Henzinger},
    SERIES = {Lecture Notes in Computer Science},
    NUMBER = {1102},
    PAGES = {411--414},
    ADDRESS = {New Brunswick, {NJ}},
    MONTH = {July/August},
    PUBLISHER = {Springer-Verlag},
    URL = {http://www.csl.sri.com/papers/pvs-cav96/}
}