{"_id":{"_str":"534268680e946d920a000ee3"},"__v":17,"authorIDs":["5456eb938b01c81930000068","54573b5e2abc8e9f370001de"],"author_short":["Harmelen, F.","Mantaras, R. L.","Malec, J.","Treur, J.","Treur, J.","Wetter, T."],"bibbaseid":"harmelen-mantaras-malec-treur-treur-wetter-comparingformalspecificationlanguages-1992","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Frank"],"propositions":[],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["R.","Lopez"],"propositions":[],"lastnames":["Mantaras"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Malec"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Treur"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Treur"],"suffixes":[]},{"firstnames":["Th."],"propositions":[],"lastnames":["Wetter"],"suffixes":[]}],"title":"Comparing Formal Specification Languages","series":"Workshop Series","booktitle":"Formal Specification of Complex Reasoning Systems","pages":"257-282","year":"1992","bibtex":"@incollection{ ECAI92WS-comp,\n author = {Frank Harmelen and R. Lopez Mantaras and J. Malec and J. Treur and J. Treur and Th. Wetter},\n title = {Comparing Formal Specification Languages},\n series = {Workshop Series},\n booktitle = {Formal Specification of Complex Reasoning Systems},\n pages = {257-282} ,\n year = {1992}\n}\n\n\n","author_short":["Harmelen, F.","Mantaras, R. L.","Malec, J.","Treur, J.","Treur, J.","Wetter, T."],"key":"ECAI92WS-comp","id":"ECAI92WS-comp","bibbaseid":"harmelen-mantaras-malec-treur-treur-wetter-comparingformalspecificationlanguages-1992","role":"author","urls":{},"downloads":0},"bibtype":"incollection","biburl":"http://data.bibbase.org/provenance/httpwwwcsvunlfrankhabstractsallbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["comparing","formal","specification","languages","harmelen","mantaras","malec","treur","treur","wetter"],"title":"Comparing Formal Specification Languages","year":1992,"dataSources":["nq9gKPaLMjrN8jQbi"]}