Graphics enhanced version of this site

Formal Specification of Abstract Memory Models
D. Dill, S. Park, and A. Nowatzyk
Proceedings of the 1993 Symposium: Research on Integrated Systems, MIT Press, 1993.

Jump to: Text Reference | BibTeX Reference

D. Dill, S. Park, and A. Nowatzyk, "Formal Specification of Abstract Memory Models," Proceedings of the 1993 Symposium: Research on Integrated Systems, MIT Press, 1993.

@inproceedings{Dill_1993_4947,
   author = "D. Dill and S. Park and Andreas Nowatzyk",
   title = "Formal Specification of Abstract Memory Models",
   booktitle = "Proceedings of the 1993 Symposium: Research on Integrated Systems",
   year = "1993",
   publisher = "MIT Press"
}