» Dynamic Verification of End-to-End Multiprocessor Invariants

| Sorted by Date | Classified by Faculty |

Daniel J. Sorin, Mark D. Hill, and David A. Wood. Dynamic Verification of End-to-End Multiprocessor Invariants. In 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, pp. 281-290, IEEE Computer Society, 2003.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

 @inproceedings{DBLP:conf/dsn/SorinHW03,
   author    = {Daniel J. Sorin and
                Mark D. Hill and
                David A. Wood},
   title     = {Dynamic Verification of End-to-End Multiprocessor Invariants},
   booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN}
                2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings},
   pages     = {281--290},
   publisher = {{IEEE} Computer Society},
   year      = {2003},
   url       = {https://doi.org/10.1109/DSN.2003.1209938},
   doi       = {10.1109/DSN.2003.1209938},
   timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
   biburl    = {https://dblp.org/rec/conf/dsn/SorinHW03.bib},
   bibsource = {dblp computer science bibliography, https://dblp.org}
 }

---

Generated by bib.pl (written by Patrick Riley ) on Mon Sep 27, 2021 15:47:03 time=1207019082