%0 Conference Paper %1 conf/iccsa/DiotoEJ19 %A Dioto, Marina %A Eras, Eduardo Rohde %A de Santiago Júnior, Valdivino Alexandre %B ICCSA (2) %D 2019 %E Misra, Sanjay %E Gervasi, Osvaldo %E Murgante, Beniamino %E Stankova, Elena N. %E Korkhov, Vladimir %E Torre, Carmelo Maria %E Rocha, Ana Maria A. C. %E Taniar, David %E Apduhan, Bernady O. %E Tarantino, Eufemia %I Springer %K dblp %P 743-757 %T On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems. %U http://dblp.uni-trier.de/db/conf/iccsa/iccsa2019-2.html#DiotoEJ19 %V 11620 %@ 978-3-030-24296-1

@inproceedings{conf/iccsa/DiotoEJ19, added-at = {2020-09-05T00:00:00.000+0200}, author = {Dioto, Marina and Eras, Eduardo Rohde and de Santiago Júnior, Valdivino Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/211d7ff291ce7b75a7da0d946330b219a/dblp}, booktitle = {ICCSA (2)}, crossref = {conf/iccsa/2019-2}, editor = {Misra, Sanjay and Gervasi, Osvaldo and Murgante, Beniamino and Stankova, Elena N. and Korkhov, Vladimir and Torre, Carmelo Maria and Rocha, Ana Maria A. C. and Taniar, David and Apduhan, Bernady O. and Tarantino, Eufemia}, ee = {https://doi.org/10.1007/978-3-030-24296-1_59}, interhash = {96615645200553f5027edf96b6253cfa}, intrahash = {11d7ff291ce7b75a7da0d946330b219a}, isbn = {978-3-030-24296-1}, keywords = {dblp}, pages = {743-757}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T14:01:37.000+0200}, title = {On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems.}, url = {http://dblp.uni-trier.de/db/conf/iccsa/iccsa2019-2.html#DiotoEJ19}, volume = 11620, year = 2019 }