M. Kwiatkowska, and D. Parker. Software Safety and Security, volume 33 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2012)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 series/natosec/KwiatkowskaP12
%A Kwiatkowska, Marta Z.
%A Parker, David
%B Software Safety and Security
%D 2012
%E Nipkow, Tobias
%E Grumberg, Orna
%E Hauptmann, Benedikt
%I IOS Press
%K dblp
%P 126-151
%T Advances in Probabilistic Model Checking.
%U http://dblp.uni-trier.de/db/series/natosec/natosec33.html#KwiatkowskaP12
%V 33
%@ 978-1-61499-028-4
@incollection{series/natosec/KwiatkowskaP12,
added-at = {2015-04-23T00:00:00.000+0200},
author = {Kwiatkowska, Marta Z. and Parker, David},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f4c76109e2f0d16c91693fc0da947f19/dblp},
booktitle = {Software Safety and Security},
crossref = {series/natosec/33},
editor = {Nipkow, Tobias and Grumberg, Orna and Hauptmann, Benedikt},
ee = {http://dx.doi.org/10.3233/978-1-61499-028-4-126},
interhash = {5f651c83d3f3b0e2c739282b827e7b45},
intrahash = {f4c76109e2f0d16c91693fc0da947f19},
isbn = {978-1-61499-028-4},
keywords = {dblp},
pages = {126-151},
publisher = {IOS Press},
series = {NATO Science for Peace and Security Series - D: Information and Communication Security},
timestamp = {2016-02-02T10:48:03.000+0100},
title = {Advances in Probabilistic Model Checking.},
url = {http://dblp.uni-trier.de/db/series/natosec/natosec33.html#KwiatkowskaP12},
volume = 33,
year = 2012
}
