@misc{System99verificationof,
  abstract = {During the last years, electrical utilities began to install intelligent  applications in order to assist Control Centres operators. The Verification and  Validation (V&V) process intends to assure the reliability of these applications,  even under incident conditions.},
  added-at = {2009-09-30T00:33:49.000+0200},
  author = {System, For Power and Santos, Jorge and Faria, Luiz and Ramos, Carlos and Vale, Zita A. and Marques, Albino},
  biburl = {http://www.bibsonomy.org/bibtex/2753b0dfee32d6a7da7637d3f2599f48b/miuhhh},
  description = {Verification of Knowledge Based-Systems},
  interhash = {851506f2d6779c07f7769d8c5fd0fcb8},
  intrahash = {753b0dfee32d6a7da7637d3f2599f48b},
  keywords = {imported},
  timestamp = {2009-09-30T00:33:49.000+0200},
  title = {Verification of Knowledge Based-Systems},
  url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.4993},
  year = 1999
}

{"_id":"9fXLRsetero6KwyfK","bibbaseid":"system-santos-faria-ramos-vale-marques-verificationofknowledgebasedsystems-1999","downloads":0,"creationDate":"2016-11-08T12:25:30.553Z","title":"Verification of Knowledge Based-Systems","author_short":["System, F. P.","Santos, J.","Faria, L.","Ramos, C.","Vale, Z. A.","Marques, A."],"year":1999,"bibtype":"misc","biburl":"http://www.bibsonomy.org/bib/author/vale?items=1000","bibdata":{"bibtype":"misc","type":"misc","abstract":"During the last years, electrical utilities began to install intelligent applications in order to assist Control Centres operators. The Verification and Validation (V&V) process intends to assure the reliability of these applications, even under incident conditions.","added-at":"2009-09-30T00:33:49.000+0200","author":[{"propositions":[],"lastnames":["System"],"firstnames":["For","Power"],"suffixes":[]},{"propositions":[],"lastnames":["Santos"],"firstnames":["Jorge"],"suffixes":[]},{"propositions":[],"lastnames":["Faria"],"firstnames":["Luiz"],"suffixes":[]},{"propositions":[],"lastnames":["Ramos"],"firstnames":["Carlos"],"suffixes":[]},{"propositions":[],"lastnames":["Vale"],"firstnames":["Zita","A."],"suffixes":[]},{"propositions":[],"lastnames":["Marques"],"firstnames":["Albino"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2753b0dfee32d6a7da7637d3f2599f48b/miuhhh","description":"Verification of Knowledge Based-Systems","interhash":"851506f2d6779c07f7769d8c5fd0fcb8","intrahash":"753b0dfee32d6a7da7637d3f2599f48b","keywords":"imported","timestamp":"2009-09-30T00:33:49.000+0200","title":"Verification of Knowledge Based-Systems","url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.4993","year":"1999","bibtex":"@misc{System99verificationof,\n abstract = {During the last years, electrical utilities began to install intelligent applications in order to assist Control Centres operators. The Verification and Validation (V&V) process intends to assure the reliability of these applications, even under incident conditions.},\n added-at = {2009-09-30T00:33:49.000+0200},\n author = {System, For Power and Santos, Jorge and Faria, Luiz and Ramos, Carlos and Vale, Zita A. and Marques, Albino},\n biburl = {http://www.bibsonomy.org/bibtex/2753b0dfee32d6a7da7637d3f2599f48b/miuhhh},\n description = {Verification of Knowledge Based-Systems},\n interhash = {851506f2d6779c07f7769d8c5fd0fcb8},\n intrahash = {753b0dfee32d6a7da7637d3f2599f48b},\n keywords = {imported},\n timestamp = {2009-09-30T00:33:49.000+0200},\n title = {Verification of Knowledge Based-Systems},\n url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.4993},\n year = 1999\n}\n\n","author_short":["System, F. P.","Santos, J.","Faria, L.","Ramos, C.","Vale, Z. A.","Marques, A."],"key":"System99verificationof","id":"System99verificationof","bibbaseid":"system-santos-faria-ramos-vale-marques-verificationofknowledgebasedsystems-1999","role":"author","urls":{"Paper":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.4993"},"keyword":["imported"],"downloads":0,"html":""},"search_terms":["verification","knowledge","based","systems","system","santos","faria","ramos","vale","marques"],"keywords":["imported"],"authorIDs":[],"dataSources":["CS6vigEABiPwJB2FM"]}