%0 Conference Paper %1 conf/nfm/HermannsN22 %A Hermanns, Holger %A Nies, Gilles %B NFM %D 2022 %E Deshmukh, Jyotirmoy V. %E Havelund, Klaus %E Perez, Ivan %I Springer %K dblp %P 156-174 %T Quantification of Battery Depletion Risk Made Efficient. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#HermannsN22 %V 13260 %@ 978-3-031-06773-0

@inproceedings{conf/nfm/HermannsN22, added-at = {2022-05-23T00:00:00.000+0200}, author = {Hermanns, Holger and Nies, Gilles}, biburl = {https://www.bibsonomy.org/bibtex/2640a17c29353956936de0a9c548a6e4c/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2022}, editor = {Deshmukh, Jyotirmoy V. and Havelund, Klaus and Perez, Ivan}, ee = {https://doi.org/10.1007/978-3-031-06773-0_8}, interhash = {faea2bf22e59829468967e13ca301ed4}, intrahash = {640a17c29353956936de0a9c548a6e4c}, isbn = {978-3-031-06773-0}, keywords = {dblp}, pages = {156-174}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:35:33.000+0200}, title = {Quantification of Battery Depletion Risk Made Efficient.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#HermannsN22}, volume = 13260, year = 2022 }