@inproceedings{conf/fossacs/FerranteM07,
  added-at = {2007-07-26T00:00:00.000+0200},
  author = {Ferrante, Alessandro and Murano, Aniello},
  biburl = {http://www.bibsonomy.org/bibtex/22366545eb5a3d6fabada8ff3297ed512/dblp},
  booktitle = {FoSSaCS},
  crossref = {conf/fossacs/2007},
  editor = {Seidl, Helmut},
  ee = {http://dx.doi.org/10.1007/978-3-540-71389-0_14},
  interhash = {dd6126e2c75bc4d742a92ab6075000ff},
  intrahash = {2366545eb5a3d6fabada8ff3297ed512},
  isbn = {978-3-540-71388-3},
  keywords = {dblp},
  pages = {183-197},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2015-06-18T15:30:16.000+0200},
  title = {Enriched µ-Calculi Module Checking.},
  url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2007.html#FerranteM07},
  volume = 4423,
  year = 2007
}

{"_id":"JX8hKb9b3dWuSun5r","bibbaseid":"ferrante-murano-enrichedcalculimodulechecking-2007","downloads":0,"creationDate":"2016-01-30T12:17:59.187Z","title":"Enriched µ-Calculi Module Checking.","author_short":["Ferrante, A.","Murano, A."],"year":2007,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/ferrante eliseo?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2007-07-26T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Ferrante"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Murano"],"firstnames":["Aniello"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/22366545eb5a3d6fabada8ff3297ed512/dblp","booktitle":"FoSSaCS","crossref":"conf/fossacs/2007","editor":[{"propositions":[],"lastnames":["Seidl"],"firstnames":["Helmut"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/978-3-540-71389-0_14","interhash":"dd6126e2c75bc4d742a92ab6075000ff","intrahash":"2366545eb5a3d6fabada8ff3297ed512","isbn":"978-3-540-71388-3","keywords":"dblp","pages":"183-197","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2015-06-18T15:30:16.000+0200","title":"Enriched µ-Calculi Module Checking.","url":"http://dblp.uni-trier.de/db/conf/fossacs/fossacs2007.html#FerranteM07","volume":"4423","year":"2007","bibtex":"@inproceedings{conf/fossacs/FerranteM07,\n added-at = {2007-07-26T00:00:00.000+0200},\n author = {Ferrante, Alessandro and Murano, Aniello},\n biburl = {http://www.bibsonomy.org/bibtex/22366545eb5a3d6fabada8ff3297ed512/dblp},\n booktitle = {FoSSaCS},\n crossref = {conf/fossacs/2007},\n editor = {Seidl, Helmut},\n ee = {http://dx.doi.org/10.1007/978-3-540-71389-0_14},\n interhash = {dd6126e2c75bc4d742a92ab6075000ff},\n intrahash = {2366545eb5a3d6fabada8ff3297ed512},\n isbn = {978-3-540-71388-3},\n keywords = {dblp},\n pages = {183-197},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2015-06-18T15:30:16.000+0200},\n title = {Enriched µ-Calculi Module Checking.},\n url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2007.html#FerranteM07},\n volume = 4423,\n year = 2007\n}\n\n","author_short":["Ferrante, A.","Murano, A."],"editor_short":["Seidl, H."],"key":"conf/fossacs/FerranteM07","id":"conf/fossacs/FerranteM07","bibbaseid":"ferrante-murano-enrichedcalculimodulechecking-2007","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-540-71389-0_14","Paper":"http://dblp.uni-trier.de/db/conf/fossacs/fossacs2007.html#FerranteM07"},"keyword":["dblp"],"downloads":0},"search_terms":["enriched","calculi","module","checking","ferrante","murano"],"keywords":["dblp"],"authorIDs":[],"dataSources":["fdxJKYwAiKyc9RArn"]}