{"_id":{"_str":"51f9eba0c5b22c3876000670"},"__v":57,"authorIDs":["54573d4c2abc8e9f370001f5","5499a4128e3bca5f37000476"],"author_short":["Rutten, E. P.","Arbab, F.","Herman, I."],"bibbaseid":"rutten-arbab-herman-formalspecificationofmanifoldapreliminarystudy-1992","bibdata":{"bibtype":"unpublished","type":"unpublished","address":"Amsterdam","author":[{"propositions":[],"lastnames":["Rutten"],"firstnames":["Eric","P.B.M."],"suffixes":[]},{"propositions":[],"lastnames":["Arbab"],"firstnames":["Farhad"],"suffixes":[]},{"propositions":[],"lastnames":["Herman"],"firstnames":["Ivan"],"suffixes":[]}],"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","bibtex":"@unpublished{Rutten1992,\naddress = {Amsterdam},\nauthor = {Rutten, Eric P.B.M. and Arbab, Farhad and Herman, Ivan},\ninstitution = {Center for Mathematics and Computer Sciences (CWI)},\nkeywords = {parallelism},\nmendeley-tags = {parallelism},\nshorttitle = {Formal Specification of Manifold},\ntitle = {{Formal Specification of Manifold: a Preliminary Study}},\nyear = {1992}\n}\n","author_short":["Rutten, E. P.","Arbab, F.","Herman, I."],"key":"Rutten1992","id":"Rutten1992","bibbaseid":"rutten-arbab-herman-formalspecificationofmanifoldapreliminarystudy-1992","role":"author","urls":{},"keyword":["parallelism"],"downloads":0,"html":""},"bibtype":"unpublished","biburl":"http://homepages.cwi.nl/~ivan/CV/publist.bib","downloads":0,"keywords":["parallelism"],"search_terms":["formal","specification","manifold","preliminary","study","rutten","arbab","herman"],"title":"Formal Specification of Manifold: a Preliminary Study","title_words":["formal","specification","manifold","preliminary","study"],"year":1992,"dataSources":["GMRnopN8LcfJcXZ3J"]}