%0 Book Section %1 conf/birthday/KwiatkowskaPQU14 %A Kwiatkowska, Marta Z. %A Parker, David %A Qu, Hongyang %A Ujma, Mateusz %B HOWARD-60 %D 2014 %E Voronkov, Andrei %E Korovina, Margarita V. %I EasyChair %K %P 245-257 %T On Incremental Quantitative Verification for Probabilistic Systems. %U http://dblp.uni-trier.de/db/conf/birthday/howard2014.html#KwiatkowskaPQU14 %V 42

@incollection{conf/birthday/KwiatkowskaPQU14, added-at = {2023-12-13T02:09:06.000+0100}, author = {Kwiatkowska, Marta Z. and Parker, David and Qu, Hongyang and Ujma, Mateusz}, biburl = {https://www.bibsonomy.org/bibtex/2e7642d4dac30d086c74f2948df239651/admin}, booktitle = {HOWARD-60}, crossref = {conf/birthday/2014howard}, editor = {Voronkov, Andrei and Korovina, Margarita V.}, ee = {http://www.easychair.org/publications/?page=753668672}, interhash = {7b92ca49f911156f0ad47d155e499351}, intrahash = {e7642d4dac30d086c74f2948df239651}, keywords = {}, pages = {245-257}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2023-12-13T02:09:06.000+0100}, title = {On Incremental Quantitative Verification for Probabilistic Systems.}, url = {http://dblp.uni-trier.de/db/conf/birthday/howard2014.html#KwiatkowskaPQU14}, volume = 42, year = 2014 }