Skip Navigation

Document BibTeX Information

@misc {AREA-201511-Johnson-Freyd,
author = {Philip Johnson-Freyd},
title = {Refinement and Composition in Formal Modeling of Temporal Systems},
note = {Area Exam},
publisher = {University of Oregon, Computer and Information Sciences Department},
address = {Eugene OR},
year = {2015},
howpublished = {Available at \url{http://www.cs.uoregon.edu/Reports/AREA-201511-Johnson-Freyd.pdf} (2017/10/18)},
}