![]() |
@article{DBLP:journals/corr/abs-0805-3462,
author = {Alessandro Ferrante and
Aniello Murano and
Mimmo Parente},
title = {Enriched MU-Calculi Module Checking},
journal = {CoRR},
volume = {abs/0805.3462},
year = {2008},
ee = {http://arxiv.org/abs/0805.3462},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-06-01 by Michael Ley (ley@uni-trier.de)