@inproceedings{conf/sebd/PantiST00,
  added-at = {2016-01-18T00:00:00.000+0100},
  author = {Panti, Maurizio and Spalazzi, Luca and Tacconi, Simone},
  biburl = {http://www.bibsonomy.org/bibtex/20edf524ea8d2993d59fcf1cd20187890/dblp},
  booktitle = {SEBD},
  crossref = {conf/sebd/2000},
  interhash = {ba621fc6f34fa4d9d9047de95c84863e},
  intrahash = {0edf524ea8d2993d59fcf1cd20187890},
  keywords = {dblp},
  pages = {167-180},
  timestamp = {2016-01-19T11:42:19.000+0100},
  title = {Verifica formale dei protocolli di sicurezza mediante model checking.},
  url = {http://dblp.uni-trier.de/db/conf/sebd/sebd2000.html#PantiST00},
  year = 2000
}

{"_id":"FiPNTbmJHuk3kiTPb","bibbaseid":"panti-spalazzi-tacconi-verificaformaledeiprotocollidisicurezzamediantemodelchecking-2000","downloads":0,"creationDate":"2016-02-03T13:02:25.265Z","title":"Verifica formale dei protocolli di sicurezza mediante model checking.","author_short":["Panti, M.","Spalazzi, L.","Tacconi, S."],"year":2000,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/simon steyskal?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-01-18T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Panti"],"firstnames":["Maurizio"],"suffixes":[]},{"propositions":[],"lastnames":["Spalazzi"],"firstnames":["Luca"],"suffixes":[]},{"propositions":[],"lastnames":["Tacconi"],"firstnames":["Simone"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/20edf524ea8d2993d59fcf1cd20187890/dblp","booktitle":"SEBD","crossref":"conf/sebd/2000","interhash":"ba621fc6f34fa4d9d9047de95c84863e","intrahash":"0edf524ea8d2993d59fcf1cd20187890","keywords":"dblp","pages":"167-180","timestamp":"2016-01-19T11:42:19.000+0100","title":"Verifica formale dei protocolli di sicurezza mediante model checking.","url":"http://dblp.uni-trier.de/db/conf/sebd/sebd2000.html#PantiST00","year":"2000","bibtex":"@inproceedings{conf/sebd/PantiST00,\n added-at = {2016-01-18T00:00:00.000+0100},\n author = {Panti, Maurizio and Spalazzi, Luca and Tacconi, Simone},\n biburl = {http://www.bibsonomy.org/bibtex/20edf524ea8d2993d59fcf1cd20187890/dblp},\n booktitle = {SEBD},\n crossref = {conf/sebd/2000},\n interhash = {ba621fc6f34fa4d9d9047de95c84863e},\n intrahash = {0edf524ea8d2993d59fcf1cd20187890},\n keywords = {dblp},\n pages = {167-180},\n timestamp = {2016-01-19T11:42:19.000+0100},\n title = {Verifica formale dei protocolli di sicurezza mediante model checking.},\n url = {http://dblp.uni-trier.de/db/conf/sebd/sebd2000.html#PantiST00},\n year = 2000\n}\n\n","author_short":["Panti, M.","Spalazzi, L.","Tacconi, S."],"key":"conf/sebd/PantiST00","id":"conf/sebd/PantiST00","bibbaseid":"panti-spalazzi-tacconi-verificaformaledeiprotocollidisicurezzamediantemodelchecking-2000","role":"author","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/sebd/sebd2000.html#PantiST00"},"keyword":["dblp"],"downloads":0},"search_terms":["verifica","formale","dei","protocolli","sicurezza","mediante","model","checking","panti","spalazzi","tacconi"],"keywords":["dblp"],"authorIDs":[],"dataSources":["qcMBJkGk4FzM4bdJY"]}