Configuration of inter-process communication with probabilistic model checking
Crossref DOI link: https://doi.org/10.1007/s10009-019-00536-0
Published Online: 2019-10-26
Published Print: 2019-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Herrmann, Linda
Küttler, Martin
Stumpf, Tobias
Baier, Christel
Härtig, Hermann
Klüppelholz, Sascha
Text and Data Mining valid from 2019-10-26
Version of Record valid from 2019-10-26
Article History
First Online: 26 October 2019