Circular Compositional Reasoning about Liveness (bibtex)

by Kenneth L. McMillan

Reference:

Circular Compositional Reasoning about Liveness (Kenneth L. McMillan), In Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings, 1999.

Bibtex Entry:

@inproceedings{DBLP:conf/charme/McMillan99a,
  author    = {Kenneth L. McMillan},
  title     = {Circular Compositional Reasoning about Liveness},
  booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
               Germany, September 27-29, 1999, Proceedings},
  pages     = {342--345},
  year      = {1999},
  url       = {CHARME99b.pdf},
  doi       = {10.1007/3-540-48153-2\_30},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/McMillan99a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}