Trace Semantics via Determinization (bibtex)
by Bart Jacobs, Alexandra Silva, Ana Sokolova
Reference:
Trace Semantics via DeterminizationBart Jacobs, Alexandra Silva, Ana SokolovaCMCS, pages 109-129, 2012, LNCS 7399.
Bibtex Entry:
@inproceedings{JacobsSS12,
  author    = {Bart Jacobs and
               Alexandra Silva and
               Ana Sokolova},
  title     = {Trace Semantics via Determinization},
  booktitle = {CMCS},
  year      = {2012},
  pages     = {109-129},
  publisher = {LNCS~7399},
  url ={/pubpdf/determinizationdkxiixix.pdf}
}
Powered by bibtexbrowser