Executable Protocol Specification in ESL (bibtex)
by Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang
Reference:
Executable Protocol Specification in ESLEdmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong WangFormal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings (Warren A. Hunt Jr., Steven D. Johnson, eds.), pages 197-216, 2000, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/fmcad/ClarkeGLVW00,
  author = {Edmund M. Clarke and Steven M. German and Yuan Lu and Helmut Veith and   Dong Wang},
  title = {Executable Protocol Specification in ESL},
  year = {2000},
  booktitle = {Formal Methods in Computer-Aided Design, Third International   Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
  editor = {Warren A. Hunt Jr. and Steven D. Johnson},
  pages = {197--216},
  publisher = {Springer},
  isbn = {3-540-41219-0},
  url = {http://link.springer.de/link/service/series/0558/bibs/1954/19540197.htm}
}
Powered by bibtexbrowser