guest ::
A storm is Coming: A Modern Probabilistic Model Checker
; ; ;
2017
Online
DOI: 10.48550/ARXIV.1702.04311
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
External link: 
Fulltext by arXiv.org
Dokumenttyp
Preprint
Format
online, print
Sprache
English
Externe Identnummern
arXiv: arXiv:1702.04311
OpenAlex: W2951948214
Interne Identnummern
RWTH-CONV-220384
Datensatz-ID: 713563
Beteiligte Länder
Germany
|
The record appears in these collections: |
Record created 2018-02-08, last modified 2026-10-05
External link:
Fulltext by arXiv.org
Fulltext by arXiv.org