Environment Abstraction for Parameterized Verification (bibtex)
by Edmund M. Clarke, Muralidhar Talupur, Helmut Veith
Reference:
Environment Abstraction for Parameterized VerificationEdmund M. Clarke, Muralidhar Talupur, Helmut VeithVerification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (E. Allen Emerson, Kedar S. Namjoshi, eds.), pages 126-141, 2006, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/vmcai/ClarkeTV06,
  author = {Edmund M. Clarke and Muralidhar Talupur and Helmut Veith},
  title = {Environment Abstraction for Parameterized Verification},
  year = {2006},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th   International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10,   2006, Proceedings},
  editor = {E. Allen Emerson and Kedar S. Namjoshi},
  pages = {126--141},
  publisher = {Springer},
  isbn = {3-540-31139-4},
  url = {http://dx.doi.org/10.1007/11609773\_9}
}
Powered by bibtexbrowser