Verification by Network Decomposition

Clarke, Edmund M.; Talupur, Muralidhar; Touili, Tayssir; Veith, Helmut

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}
}