Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ACISicis/Miao13
%A Miao, Huaikou
%B ICIS
%D 2013
%I IEEE Computer Society
%K dblp
%P 3
%T An approach to service dynamic reconfiguration using probabilistic model checking.
%U http://dblp.uni-trier.de/db/conf/ACISicis/ACISicis2013.html#Miao13
%@ 978-1-4799-0174-6
@inproceedings{conf/ACISicis/Miao13,
added-at = {2013-10-17T00:00:00.000+0200},
author = {Miao, Huaikou},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/263d54d1d98547d8dcffaae52c53b9238/dblp},
booktitle = {ICIS},
crossref = {conf/ACISicis/2013},
ee = {http://doi.ieeecomputersociety.org/10.1109/ICIS.2013.6607807},
interhash = {c8035090a89a2ff39fadbb77bab0d8d5},
intrahash = {63d54d1d98547d8dcffaae52c53b9238},
isbn = {978-1-4799-0174-6},
keywords = {dblp},
pages = 3,
publisher = {IEEE Computer Society},
timestamp = {2016-09-22T09:34:29.000+0200},
title = {An approach to service dynamic reconfiguration using probabilistic model checking.},
url = {http://dblp.uni-trier.de/db/conf/ACISicis/ACISicis2013.html#Miao13},
year = 2013
}