@inproceedings{ EKAW94,
  author    = {Fidel Ruiz and Frank Harmelen and Manfred Aben and Joke Plassche and L. Steels and ATh Schreiber and W. Van Velde},
  title     = {Evaluating a Formal Specification Language},
  series   = {Lecture Notes in Artificial Intelligence},
  booktitle   = {A Future for Knowledge Acquisition, Proc. 8th EKAW},
  pages   = {26--45},
  number   = {867} ,
  year   = {1994}
}

{"_id":{"_str":"534268680e946d920a000f03"},"__v":12,"authorIDs":["5456eb938b01c81930000068","5457212a2abc8e9f370000b9"],"author_short":["Ruiz, F.","Harmelen, F.","Aben, M.","Plassche, J.","Steels, L.","Schreiber, A.","Velde, W. V."],"bibbaseid":"ruiz-harmelen-aben-plassche-steels-schreiber-velde-evaluatingaformalspecificationlanguage-1994","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Fidel"],"propositions":[],"lastnames":["Ruiz"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["Manfred"],"propositions":[],"lastnames":["Aben"],"suffixes":[]},{"firstnames":["Joke"],"propositions":[],"lastnames":["Plassche"],"suffixes":[]},{"firstnames":["L."],"propositions":[],"lastnames":["Steels"],"suffixes":[]},{"firstnames":["ATh"],"propositions":[],"lastnames":["Schreiber"],"suffixes":[]},{"firstnames":["W.","Van"],"propositions":[],"lastnames":["Velde"],"suffixes":[]}],"title":"Evaluating a Formal Specification Language","series":"Lecture Notes in Artificial Intelligence","booktitle":"A Future for Knowledge Acquisition, Proc. 8th EKAW","pages":"26--45","number":"867","year":"1994","bibtex":"@inproceedings{ EKAW94,\n author = {Fidel Ruiz and Frank Harmelen and Manfred Aben and Joke Plassche and L. Steels and ATh Schreiber and W. Van Velde},\n title = {Evaluating a Formal Specification Language},\n series = {Lecture Notes in Artificial Intelligence},\n booktitle = {A Future for Knowledge Acquisition, Proc. 8th EKAW},\n pages = {26--45},\n number = {867} ,\n year = {1994}\n}\n\n\n","author_short":["Ruiz, F.","Harmelen, F.","Aben, M.","Plassche, J.","Steels, L.","Schreiber, A.","Velde, W. V."],"key":"EKAW94","id":"EKAW94","bibbaseid":"ruiz-harmelen-aben-plassche-steels-schreiber-velde-evaluatingaformalspecificationlanguage-1994","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/w-van-velde/?format=bibtex","downloads":0,"keywords":[],"search_terms":["evaluating","formal","specification","language","ruiz","harmelen","aben","plassche","steels","schreiber","velde"],"title":"Evaluating a Formal Specification Language","year":1994,"dataSources":["QCq4iRRt5bC6EECzr"]}