@inproceedings{b8642254ef7c4d6198d09aaacc3d49c5,
title = "Divide and compose: SCC refinement for language emptiness",
author = "C. Wang and Bloem, {Roderick Paul} and G.D. Hachtel and K. Ravi and F. Somenzi",
year = "2001",
language = "English",
isbn = "978-3-540-42497-0",
volume = "2154",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "456--471",
booktitle = "CONCUR 2001 - Concurrency Theory",
note = "International Conference on Concurrency Theory ; Conference date: 20-08-2001 Through 25-08-2001",
}