Enriched µ-Calculi Module Checking. Ferrante, A., Murano, A., & Parente, M. Logical Methods in Computer Science, 2008.
Enriched µ-Calculi Module Checking. [link]Link  Enriched µ-Calculi Module Checking. [link]Paper  bibtex   
@article{journals/lmcs/FerranteMP08,
  added-at = {2009-07-28T00:00:00.000+0200},
  author = {Ferrante, Alessandro and Murano, Aniello and Parente, Mimmo},
  biburl = {http://www.bibsonomy.org/bibtex/27f7be2a763f612e752fdbd607d0cff2b/dblp},
  date = {2009-07-28},
  description = {dblp},
  ee = {http://dx.doi.org/10.2168/LMCS-4(3:1)2008},
  interhash = {8098875b031564f04207540b21900c39},
  intrahash = {7f7be2a763f612e752fdbd607d0cff2b},
  journal = {Logical Methods in Computer Science},
  keywords = {dblp},
  number = 3,
  timestamp = {2009-07-29T11:33:37.000+0200},
  title = {Enriched µ-Calculi Module Checking.},
  url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs4.html#FerranteMP08},
  volume = 4,
  year = 2008
}
Downloads: 0