%0 Book Section %1 series/natosec/Baier16 %A Baier, Christel %B Dependable Software Systems Engineering %D 2016 %E Esparza, Javier %E Grumberg, Orna %E Sickert, Salomon %I IOS Press %K dblp %P 1-23 %T Probabilistic Model Checking. %U http://dblp.uni-trier.de/db/series/natosec/natosec45.html#Baier16 %V 45 %@ 978-1-61499-627-9

@incollection{series/natosec/Baier16, added-at = {2016-05-11T00:00:00.000+0200}, author = {Baier, Christel}, biburl = {https://www.bibsonomy.org/bibtex/2d075a28f809b972780a4a5d30260d72e/dblp}, booktitle = {Dependable Software Systems Engineering}, crossref = {series/natosec/45}, editor = {Esparza, Javier and Grumberg, Orna and Sickert, Salomon}, ee = {http://dx.doi.org/10.3233/978-1-61499-627-9-1}, interhash = {2779433abb5e92dd910746e9c3155ce5}, intrahash = {d075a28f809b972780a4a5d30260d72e}, isbn = {978-1-61499-627-9}, keywords = {dblp}, pages = {1-23}, publisher = {IOS Press}, series = {NATO Science for Peace and Security Series - D: Information and Communication Security}, timestamp = {2016-05-12T11:38:19.000+0200}, title = {Probabilistic Model Checking.}, url = {http://dblp.uni-trier.de/db/series/natosec/natosec45.html#Baier16}, volume = 45, year = 2016 }