by Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith
Reference:
Verification by Network DecompositionEdmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut VeithCONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Philippa Gardner, Nobuko Yoshida, eds.), pages 276–291, 2004, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/concur/ClarkeTTV04,
author = {Edmund M. Clarke and Muralidhar Talupur and Tayssir Touili and Helmut Veith},
title = {Verification by Network Decomposition},
year = {2004},
booktitle = {CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings},
editor = {Philippa Gardner and Nobuko Yoshida},
pages = {276--291},
publisher = {Springer},
isbn = {3-540-22940-X},
url = {http://springerlink.metapress.com/openurl.asp?genre$=$article\&issn$=$0% 302-9743\&volume$=$3170\&spage$=$276}
}