Enriched MU-Calculi Module Checking. Ferrante, A., Murano, A., & Parente, M. CoRR, 2008.
Enriched MU-Calculi Module Checking [link]Link  Enriched MU-Calculi Module Checking [link]Paper  bibtex   
@article{journals/corr/abs-0805-3462,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Ferrante, Alessandro and Murano, Aniello and Parente, Mimmo},
  biburl = {http://www.bibsonomy.org/bibtex/24ef00bbfe3fca1f8a6d2e8f758c8ba1d/dblp},
  ee = {http://arxiv.org/abs/0805.3462},
  interhash = {9d777b00a12166a60566b799e0a7919c},
  intrahash = {4ef00bbfe3fca1f8a6d2e8f758c8ba1d},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2011-12-06T12:13:47.000+0100},
  title = {Enriched MU-Calculi Module Checking},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0805.html#abs-0805-3462},
  volume = {abs/0805.3462},
  year = 2008
}
Downloads: 0