%0 Conference Paper %1 conf/csp/GetirPG18 %A Getir, Sinem %A Pavese, Esteban %A Grunske, Lars %B CS&P %D 2018 %E Schlingloff, Bernd-Holger %E Akili, Samira %I CEUR-WS.org %K dblp %T Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions. %U http://dblp.uni-trier.de/db/conf/csp/csp2018.html#GetirPG18 %V 2240

@inproceedings{conf/csp/GetirPG18, added-at = {2023-03-10T00:00:00.000+0100}, author = {Getir, Sinem and Pavese, Esteban and Grunske, Lars}, biburl = {https://www.bibsonomy.org/bibtex/299aa845b2281b041dee5ac32be0552c3/dblp}, booktitle = {CS&P}, crossref = {conf/csp/2018}, editor = {Schlingloff, Bernd-Holger and Akili, Samira}, ee = {https://ceur-ws.org/Vol-2240/paper8.pdf}, interhash = {d5f1f0a5d5871f464c4359f73eeda4b0}, intrahash = {99aa845b2281b041dee5ac32be0552c3}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T16:06:52.000+0200}, title = {Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions.}, url = {http://dblp.uni-trier.de/db/conf/csp/csp2018.html#GetirPG18}, volume = 2240, year = 2018 }