Verification by Network Decomposition (bibtex)
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}
}
Powered by bibtexbrowser