Eintrag weiter verarbeiten
Advances in Symbolic Probabilistic Model Checking with PRISM
Personen und Körperschaften: | , , , , , , , |
---|---|
Titel: | Advances in Symbolic Probabilistic Model Checking with PRISM |
Format: | E-Book |
veröffentlicht: |
Berlin
Springer
2016
Online-Ausg.. 2021 |
Schlagwörter: |