Enriched µ-Calculi Module Checking. Ferrante, A. & Murano, A. In FoSSaCS, volume 4423, of Lecture Notes in Computer Science, pages 183-197, 2007. Springer.
Enriched µ-Calculi Module Checking. [link]Link  Enriched µ-Calculi Module Checking. [link]Paper  bibtex   
@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
}

Downloads: 0