Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Tools and Algorithms for the Construction and Analysis of Systems: $$\mathsf {StocHy}$$ : Automated Verification and Synthesis of Stochastic Processes
Beteiligte:
Cauchi, Nathalie;
Abate, Alessandro
Erschienen:
Springer International Publishing, 2019
Erschienen in:
Tools and Algorithms for the Construction and Analysis of Systems (2019), Seite 247-264