Formal Specification of Manifold: a Preliminary Study. Rutten, E. P., Arbab, F., & Herman, I. 1992.
bibtex   
@unpublished{Rutten1992,
address = {Amsterdam},
author = {Rutten, Eric P.B.M. and Arbab, Farhad and Herman, Ivan},
institution = {Center for Mathematics and Computer Sciences (CWI)},
keywords = {parallelism},
mendeley-tags = {parallelism},
shorttitle = {Formal Specification of Manifold},
title = {{Formal Specification of Manifold: a Preliminary Study}},
year = {1992}
}

Downloads: 0