The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

A bitvectors library for PVS

The work

AuthorsR. W. Butler; P. S. Miner; M. K. Srivas; D. A. Greve; S. P. Miller
Editors
Typetechreport
Year1996
Citekeybutler1996bitvectors

Where it appeared

PublisherTechnical Report TM-110274
SchoolTechnical Report TM-110274

How it got here

How it got hereagent via bibtex
Added2026-10-25 10:37 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

what-one-proves-with

Cite it as

@techreport{butler1996bitvectors,
  title        = {A bitvectors library for PVS},
  author       = {R. W. Butler and P. S. Miner and M. K. Srivas and D. A. Greve and S. P. Miller},
  year         = {1996},
  publisher    = {Technical Report TM-110274},
  school       = {Technical Report TM-110274},
}

This record lives at https://refs.drheap.org/butler1996bitvectors/ and will keep doing so.