@inproceedings{journals/corr/ManciniMMMT15,
  added-at = {2015-11-02T00:00:00.000+0100},
  author = {Mancini, Toni and Mari, Federico and Massini, Annalisa and Melatti, Igor and Tronci, Enrico},
  biburl = {http://www.bibsonomy.org/bibtex/251c02adc4885252a9440e905c35526e1/dblp},
  booktitle = {GandALF},
  crossref = {journals/corr/EsparzaT15},
  editor = {Esparza, Javier and Tronci, Enrico},
  ee = {http://dx.doi.org/10.4204/EPTCS.193.7},
  interhash = {9ac1a29fa389efd8317f282cd0b8f6b1},
  intrahash = {51c02adc4885252a9440e905c35526e1},
  keywords = {dblp},
  pages = {86-99},
  series = {EPTCS},
  timestamp = {2015-11-04T11:34:37.000+0100},
  title = {Simulator Semantics for System Level Formal Verification.},
  url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs193.html#ManciniMMMT15},
  volume = 193,
  year = 2015
}

{"_id":"pgNFRub624D5S3B7R","bibbaseid":"mancini-mari-massini-melatti-tronci-simulatorsemanticsforsystemlevelformalverification-2015","downloads":0,"creationDate":"2016-01-22T05:24:52.720Z","title":"Simulator Semantics for System Level Formal Verification.","author_short":["Mancini, T.","Mari, F.","Massini, A.","Melatti, I.","Tronci, E."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Igor Sokolov?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2015-11-02T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Mancini"],"firstnames":["Toni"],"suffixes":[]},{"propositions":[],"lastnames":["Mari"],"firstnames":["Federico"],"suffixes":[]},{"propositions":[],"lastnames":["Massini"],"firstnames":["Annalisa"],"suffixes":[]},{"propositions":[],"lastnames":["Melatti"],"firstnames":["Igor"],"suffixes":[]},{"propositions":[],"lastnames":["Tronci"],"firstnames":["Enrico"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/251c02adc4885252a9440e905c35526e1/dblp","booktitle":"GandALF","crossref":"journals/corr/EsparzaT15","editor":[{"propositions":[],"lastnames":["Esparza"],"firstnames":["Javier"],"suffixes":[]},{"propositions":[],"lastnames":["Tronci"],"firstnames":["Enrico"],"suffixes":[]}],"ee":"http://dx.doi.org/10.4204/EPTCS.193.7","interhash":"9ac1a29fa389efd8317f282cd0b8f6b1","intrahash":"51c02adc4885252a9440e905c35526e1","keywords":"dblp","pages":"86-99","series":"EPTCS","timestamp":"2015-11-04T11:34:37.000+0100","title":"Simulator Semantics for System Level Formal Verification.","url":"http://dblp.uni-trier.de/db/series/eptcs/eptcs193.html#ManciniMMMT15","volume":"193","year":"2015","bibtex":"@inproceedings{journals/corr/ManciniMMMT15,\n added-at = {2015-11-02T00:00:00.000+0100},\n author = {Mancini, Toni and Mari, Federico and Massini, Annalisa and Melatti, Igor and Tronci, Enrico},\n biburl = {http://www.bibsonomy.org/bibtex/251c02adc4885252a9440e905c35526e1/dblp},\n booktitle = {GandALF},\n crossref = {journals/corr/EsparzaT15},\n editor = {Esparza, Javier and Tronci, Enrico},\n ee = {http://dx.doi.org/10.4204/EPTCS.193.7},\n interhash = {9ac1a29fa389efd8317f282cd0b8f6b1},\n intrahash = {51c02adc4885252a9440e905c35526e1},\n keywords = {dblp},\n pages = {86-99},\n series = {EPTCS},\n timestamp = {2015-11-04T11:34:37.000+0100},\n title = {Simulator Semantics for System Level Formal Verification.},\n url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs193.html#ManciniMMMT15},\n volume = 193,\n year = 2015\n}\n\n","author_short":["Mancini, T.","Mari, F.","Massini, A.","Melatti, I.","Tronci, E."],"editor_short":["Esparza, J.","Tronci, E."],"key":"journals/corr/ManciniMMMT15","id":"journals/corr/ManciniMMMT15","bibbaseid":"mancini-mari-massini-melatti-tronci-simulatorsemanticsforsystemlevelformalverification-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.4204/EPTCS.193.7","Paper":"http://dblp.uni-trier.de/db/series/eptcs/eptcs193.html#ManciniMMMT15"},"keyword":["dblp"],"downloads":0},"search_terms":["simulator","semantics","system","level","formal","verification","mancini","mari","massini","melatti","tronci"],"keywords":["dblp"],"authorIDs":[],"dataSources":["h2zaCTy5Y74MDBFyN"]}