@inproceedings{DBLP:conf/tgc/DErricoL10,
author = {Liliana D'Errico and
Michele Loreti},
title = {Property-Preserving Refinement of Concurrent Systems},
booktitle = {TGC},
year = {2010},
pages = {222-236},
ee = {http://dx.doi.org/10.1007/978-3-642-15640-3_15},
crossref = {DBLP:conf/tgc/2010},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tgc/2010,
editor = {Martin Wirsing and
Martin Hofmann and
Axel Rauschmayer},
title = {Trustworthly Global Computing - 5th International Symposium,
TGC 2010, Munich, Germany, February 24-26, 2010, Revised
Selected Papers},
booktitle = {TGC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6084},
year = {2010},
isbn = {978-3-642-15639-7},
ee = {http://dx.doi.org/10.1007/978-3-642-15640-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
