| Publication Type |
journal article |
| School or College |
College of Engineering |
| Department |
Kahlert School of Computing |
| Creator |
Gopalakrishnan, Ganesh |
| Other Author |
Mokkedem, Abdel; Hosabettu, Ravi M.; Jones, Michael D. |
| Title |
Formalization and analysis of a solution to the PCI 2.1 bus transaction ordering problem: PVS files |
| Date |
1999 |
| Description |
The following PVS files are being put on our technical reports server and are available through anonymous FTP. Look for file "pci_pvs_files.tag.gz" in the TR directory. |
| Type |
Text |
| Publisher |
University of Utah |
| First Page |
99 |
| Last Page |
7 |
| Subject |
Bus transaction; Ordering problem |
| Language |
eng |
| Bibliographic Citation |
Mokkedem, A., Hosabettu, R. M., Jones, M. D., & Gopalakrishnan, G. (1999). Formalization and analysis of a solution to the PCI 2.1 bus tansaction ordering problem: PVS files. UUCS-99-007. |
| Series |
University of Utah Computer Science Technical Report |
| Relation is Part of |
ARPANET |
| Rights Management |
©University of Utah |
| Format Medium |
application/pdf |
| Format Extent |
215,902 bytes |
| Identifier |
ir-main,15937 |
| ARK |
ark:/87278/s6bv8131 |
| Setname |
ir_uspace |
| ID |
705398 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6bv8131 |
