@inproceedings{conf/forte/HolzmannP94,
  added-at = {2016-02-12T00:00:00.000+0100},
  author = {Holzmann, Gerard J. and Peled, Doron A.},
  biburl = {http://www.bibsonomy.org/bibtex/29254e380546de255f7f43f7ac75a84e0/dblp},
  booktitle = {FORTE},
  crossref = {conf/forte/1994},
  editor = {Hogrefe, Dieter and Leue, Stefan},
  interhash = {fff4ce983b3debc568b8a19dfe8037dd},
  intrahash = {9254e380546de255f7f43f7ac75a84e0},
  isbn = {0-412-64450-9},
  keywords = {dblp},
  pages = {197-211},
  publisher = {Chapman & Hall},
  series = {IFIP Conference Proceedings},
  timestamp = {2016-02-13T11:48:08.000+0100},
  title = {An improvement in formal verification.},
  url = {http://dblp.uni-trier.de/db/conf/forte/forte1994.html#HolzmannP94},
  volume = 6,
  year = 1994
}

{"_id":"bwbka7q5BwQasFBPj","bibbaseid":"holzmann-peled-animprovementinformalverification-1994","downloads":0,"creationDate":"2016-02-15T15:11:13.450Z","title":"An improvement in formal verification.","author_short":["Holzmann, G. J.","Peled, D. A."],"year":1994,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/pablo j gonzalez?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-02-12T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Holzmann"],"firstnames":["Gerard","J."],"suffixes":[]},{"propositions":[],"lastnames":["Peled"],"firstnames":["Doron","A."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/29254e380546de255f7f43f7ac75a84e0/dblp","booktitle":"FORTE","crossref":"conf/forte/1994","editor":[{"propositions":[],"lastnames":["Hogrefe"],"firstnames":["Dieter"],"suffixes":[]},{"propositions":[],"lastnames":["Leue"],"firstnames":["Stefan"],"suffixes":[]}],"interhash":"fff4ce983b3debc568b8a19dfe8037dd","intrahash":"9254e380546de255f7f43f7ac75a84e0","isbn":"0-412-64450-9","keywords":"dblp","pages":"197-211","publisher":"Chapman & Hall","series":"IFIP Conference Proceedings","timestamp":"2016-02-13T11:48:08.000+0100","title":"An improvement in formal verification.","url":"http://dblp.uni-trier.de/db/conf/forte/forte1994.html#HolzmannP94","volume":"6","year":"1994","bibtex":"@inproceedings{conf/forte/HolzmannP94,\n added-at = {2016-02-12T00:00:00.000+0100},\n author = {Holzmann, Gerard J. and Peled, Doron A.},\n biburl = {http://www.bibsonomy.org/bibtex/29254e380546de255f7f43f7ac75a84e0/dblp},\n booktitle = {FORTE},\n crossref = {conf/forte/1994},\n editor = {Hogrefe, Dieter and Leue, Stefan},\n interhash = {fff4ce983b3debc568b8a19dfe8037dd},\n intrahash = {9254e380546de255f7f43f7ac75a84e0},\n isbn = {0-412-64450-9},\n keywords = {dblp},\n pages = {197-211},\n publisher = {Chapman & Hall},\n series = {IFIP Conference Proceedings},\n timestamp = {2016-02-13T11:48:08.000+0100},\n title = {An improvement in formal verification.},\n url = {http://dblp.uni-trier.de/db/conf/forte/forte1994.html#HolzmannP94},\n volume = 6,\n year = 1994\n}\n\n","author_short":["Holzmann, G. J.","Peled, D. A."],"editor_short":["Hogrefe, D.","Leue, S."],"key":"conf/forte/HolzmannP94","id":"conf/forte/HolzmannP94","bibbaseid":"holzmann-peled-animprovementinformalverification-1994","role":"author","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/forte/forte1994.html#HolzmannP94"},"keyword":["dblp"],"downloads":0},"search_terms":["improvement","formal","verification","holzmann","peled"],"keywords":["dblp"],"authorIDs":[],"dataSources":["Lao6JF73XpBJmfaxa"]}