%0 Conference Paper %1 conf/ifipTCS/ChakrabortyK14 %A Chakraborty, Souymodip %A Katoen, Joost-Pieter %B IFIP TCS %D 2014 %E Díaz, Josep %E Lanese, Ivan %E Sangiorgi, Davide %I Springer %K dblp %P 207-221 %T Parametric LTL on Markov Chains. %U http://dblp.uni-trier.de/db/conf/ifipTCS/ifipTCS2014.html#ChakrabortyK14 %V 8705 %@ 978-3-662-44601-0

@inproceedings{conf/ifipTCS/ChakrabortyK14, added-at = {2018-12-23T00:00:00.000+0100}, author = {Chakraborty, Souymodip and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/22b72f5413a627307c3f268ef56946b71/dblp}, booktitle = {IFIP TCS}, crossref = {conf/ifipTCS/2014}, editor = {Díaz, Josep and Lanese, Ivan and Sangiorgi, Davide}, ee = {https://www.wikidata.org/entity/Q57800874}, interhash = {d53dbdc9d491f4f5af89bb3a052949a3}, intrahash = {2b72f5413a627307c3f268ef56946b71}, isbn = {978-3-662-44601-0}, keywords = {dblp}, pages = {207-221}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:21:17.000+0200}, title = {Parametric LTL on Markov Chains.}, url = {http://dblp.uni-trier.de/db/conf/ifipTCS/ifipTCS2014.html#ChakrabortyK14}, volume = 8705, year = 2014 }