TY  - RPRT
TI  - A Bitvectors Library for PVS
AU  - Butler, Ricky W.
AU  - Miner, Paul S.
AU  - Srivas, Mandayam K.
AU  - Greve, Dave A.
AU  - Miller, Steven P.
PY  - 1996
UR  - https://ntrs.nasa.gov/citations/19970001377
ID  - 19970001377
ER  -