Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions (bibtex)
by Getir, Sinem, Pavese, Esteban and Grunske, Lars
Reference:
Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions (Getir, Sinem, Pavese, Esteban and Grunske, Lars), In 27th international Workshop on Concurrency, Specification and Programming (CS&P'18), 2018.
Bibtex Entry:
@inproceedings{getir2018formal,
  title={Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions},
  author={Getir, Sinem and Pavese, Esteban and Grunske, Lars},
  booktitle={27th international Workshop on Concurrency, Specification and Programming (CS&P'18)},
  year={2018}
}
Powered by bibtexbrowser