@article{journals/micro/SlijepcevicKAQC14,
  author = {Slijepcevic, Mladen and Kosmidis, Leonidas and Abella, Jaume and Quiñones, Eduardo and Cazorla, Francisco J.},
  ee = {http://doi.ieeecomputersociety.org/10.1109/MM.2014.59},
  interhash = {d66946b0f7f845e10a8ec42dda65d143},
  intrahash = {8b95704ad43f0aaf9b0f37a3d4a0482a},
  journal = {IEEE Micro},
  number = 6,
  pages = {8-19},
  title = {Timing Verification of Fault-Tolerant Chips for Safety-Critical Applications in Harsh Environments.},
  url = {http://dblp.uni-trier.de/db/journals/micro/micro34.html#SlijepcevicKAQC14},
  volume = 34,
  year = 2014
}

{"_id":"9ooz7NGooSBznWSpv","bibbaseid":"slijepcevic-kosmidis-abella-quiones-cazorla-timingverificationoffaulttolerantchipsforsafetycriticalapplicationsinharshenvironments-2014","downloads":0,"creationDate":"2017-02-04T17:20:44.677Z","title":"Timing Verification of Fault-Tolerant Chips for Safety-Critical Applications in Harsh Environments.","author_short":["Slijepcevic, M.","Kosmidis, L.","Abella, J.","Quiñones, E.","Cazorla, F. J."],"year":2014,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Kosmidis?items=1000","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Slijepcevic"],"firstnames":["Mladen"],"suffixes":[]},{"propositions":[],"lastnames":["Kosmidis"],"firstnames":["Leonidas"],"suffixes":[]},{"propositions":[],"lastnames":["Abella"],"firstnames":["Jaume"],"suffixes":[]},{"propositions":[],"lastnames":["Quiñones"],"firstnames":["Eduardo"],"suffixes":[]},{"propositions":[],"lastnames":["Cazorla"],"firstnames":["Francisco","J."],"suffixes":[]}],"ee":"http://doi.ieeecomputersociety.org/10.1109/MM.2014.59","interhash":"d66946b0f7f845e10a8ec42dda65d143","intrahash":"8b95704ad43f0aaf9b0f37a3d4a0482a","journal":"IEEE Micro","number":"6","pages":"8-19","title":"Timing Verification of Fault-Tolerant Chips for Safety-Critical Applications in Harsh Environments.","url":"http://dblp.uni-trier.de/db/journals/micro/micro34.html#SlijepcevicKAQC14","volume":"34","year":"2014","bibtex":"@article{journals/micro/SlijepcevicKAQC14,\n author = {Slijepcevic, Mladen and Kosmidis, Leonidas and Abella, Jaume and Quiñones, Eduardo and Cazorla, Francisco J.},\n ee = {http://doi.ieeecomputersociety.org/10.1109/MM.2014.59},\n interhash = {d66946b0f7f845e10a8ec42dda65d143},\n intrahash = {8b95704ad43f0aaf9b0f37a3d4a0482a},\n journal = {IEEE Micro},\n number = 6,\n pages = {8-19},\n title = {Timing Verification of Fault-Tolerant Chips for Safety-Critical Applications in Harsh Environments.},\n url = {http://dblp.uni-trier.de/db/journals/micro/micro34.html#SlijepcevicKAQC14},\n volume = 34,\n year = 2014\n}\n\n","author_short":["Slijepcevic, M.","Kosmidis, L.","Abella, J.","Quiñones, E.","Cazorla, F. J."],"key":"journals/micro/SlijepcevicKAQC14","id":"journals/micro/SlijepcevicKAQC14","bibbaseid":"slijepcevic-kosmidis-abella-quiones-cazorla-timingverificationoffaulttolerantchipsforsafetycriticalapplicationsinharshenvironments-2014","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/MM.2014.59","Paper":"http://dblp.uni-trier.de/db/journals/micro/micro34.html#SlijepcevicKAQC14"},"downloads":0},"search_terms":["timing","verification","fault","tolerant","chips","safety","critical","applications","harsh","environments","slijepcevic","kosmidis","abella","quiñones","cazorla"],"keywords":[],"authorIDs":[],"dataSources":["C3wjZY683s2aHT4Qd"]}