@inproceedings{DBLP:conf/concur/WangBHRS01,
author = {Chao Wang and
Roderick Bloem and
Gary D. Hachtel and
Kavita Ravi and
Fabio Somenzi},
title = {Divide and Compose: SCC Refinement for Language Emptiness},
booktitle = {CONCUR},
year = {2001},
pages = {456-471},
ee = {http://dx.doi.org/10.1007/3-540-44685-0_31},
crossref = {DBLP:conf/concur/2001},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/concur/2001,
editor = {Kim Guldstrand Larsen and
Mogens Nielsen},
title = {CONCUR 2001 - Concurrency Theory, 12th International Conference,
Aalborg, Denmark, August 20-25, 2001, Proceedings},
booktitle = {CONCUR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2154},
year = {2001},
isbn = {3-540-42497-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page