@InProceedings{EKAW99,
  author =       "P. Groot and A. ten Teije and F. van Harmelen",
  title =        "Formally verifying dynamic properties of KBS",
  editor =       "D. Fensel and R. Studer",
  number =       "1621",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "157-172",
  booktitle =    "Proceedings of the 11th European Workshop on
		  Knowledge Acquisition, Modeling, and Management ({EKAW}'99)",
  publisher =    "Springer-Verlag",
  year =         1999,
  keywords = {Verification and Validation of KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW99.pdf"
}

{"_id":"qk5bwA2SS89ofmxqw","bibbaseid":"groot-tenteije-vanharmelen-formallyverifyingdynamicpropertiesofkbs-1999","author_short":["Groot, P.","ten Teije, A.","van Harmelen, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["P."],"propositions":[],"lastnames":["Groot"],"suffixes":[]},{"firstnames":["A."],"propositions":["ten"],"lastnames":["Teije"],"suffixes":[]},{"firstnames":["F."],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]}],"title":"Formally verifying dynamic properties of KBS","editor":[{"firstnames":["D."],"propositions":[],"lastnames":["Fensel"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Studer"],"suffixes":[]}],"number":"1621","series":"Lecture Notes in Artificial Intelligence","pages":"157-172","booktitle":"Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling, and Management (EKAW'99)","publisher":"Springer-Verlag","year":"1999","keywords":"Verification and Validation of KBS","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/EKAW99.pdf","bibtex":"@InProceedings{EKAW99,\r\n author = \"P. Groot and A. ten Teije and F. van Harmelen\",\r\n title = \"Formally verifying dynamic properties of KBS\",\r\n editor = \"D. Fensel and R. Studer\",\r\n number = \"1621\",\r\n series = \"Lecture Notes in Artificial Intelligence\",\r\n pages = \"157-172\",\r\n booktitle = \"Proceedings of the 11th European Workshop on\r\n\t\t Knowledge Acquisition, Modeling, and Management ({EKAW}'99)\",\r\n publisher = \"Springer-Verlag\",\r\n year = 1999,\r\n keywords = {Verification and Validation of KBS},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/EKAW99.pdf\"\r\n}\r\n\r\n","author_short":["Groot, P.","ten Teije, A.","van Harmelen, F."],"editor_short":["Fensel, D.","Studer, R."],"key":"EKAW99","id":"EKAW99","bibbaseid":"groot-tenteije-vanharmelen-formallyverifyingdynamicpropertiesofkbs-1999","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/EKAW99.pdf"},"keyword":["Verification and Validation of KBS"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["verification and validation of kbs"],"search_terms":["formally","verifying","dynamic","properties","kbs","groot","ten teije","van harmelen"],"title":"Formally verifying dynamic properties of KBS","year":1999}