{"_id":{"_str":"51fd7ca95fecf1fd2c00006e"},"__v":6,"authorIDs":["54573d4c2abc8e9f370001f5"],"author_short":["Duke, D. J.","Duce, D. A.","Herman, I.","ten Hagen, P. J.","Reynolds, G. J."],"bibbaseid":"duke-duce-herman-tenhagen-reynolds-formalmethodsinthedevelopmentofpremo-1995","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Duke"],"firstnames":["David","J."],"suffixes":[]},{"propositions":[],"lastnames":["Duce"],"firstnames":["David","A."],"suffixes":[]},{"propositions":[],"lastnames":["Herman"],"firstnames":["Ivan"],"suffixes":[]},{"propositions":["ten"],"lastnames":["Hagen"],"firstnames":["Paul","J.W."],"suffixes":[]},{"propositions":[],"lastnames":["Reynolds"],"firstnames":["Graham","J."],"suffixes":[]}],"journal":"Computer Standards & Interfaces","keywords":"multimedia,standards","mendeley-tags":"multimedia,standards","pages":"491--509","title":"Formal Methods in the Development of PREMO","url":"ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9465.ps.Z","volume":"16","year":"1995","bibtex":"@article{Duke1995,\nauthor = {Duke, David J. and Duce, David A. and Herman, Ivan and ten Hagen, Paul J.W. and Reynolds, Graham J.},\njournal = {Computer Standards \\& Interfaces},\nkeywords = {multimedia,standards},\nmendeley-tags = {multimedia,standards},\npages = {491--509},\ntitle = {{Formal Methods in the Development of PREMO}},\nurl = {ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9465.ps.Z},\nvolume = {16},\nyear = {1995}\n}\n","author_short":["Duke, D. J.","Duce, D. A.","Herman, I.","ten Hagen, P. J.","Reynolds, G. J."],"key":"Duke1995","id":"Duke1995","bibbaseid":"duke-duce-herman-tenhagen-reynolds-formalmethodsinthedevelopmentofpremo-1995","role":"author","urls":{"Paper":"ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9465.ps.Z"},"keyword":["multimedia","standards"],"downloads":0,"html":""},"bibtype":"article","biburl":"http://homepages.cwi.nl/~ivan/CV/publist.bib","downloads":0,"keywords":["multimedia","standards"],"search_terms":["formal","methods","development","premo","duke","duce","herman","ten hagen","reynolds"],"title":"Formal Methods in the Development of PREMO","year":1995,"dataSources":["GMRnopN8LcfJcXZ3J"]}