An Overview of Modest Models and Tools for Real Stochastic Timed Systems

Saved in:
Bibliographic Details
Published inElectronic proceedings in theoretical computer science Vol. 355; pp. 1 - 12
Main Author Hartmanns, Arnd
Format Journal Article
LanguageEnglish
Published 21.03.2022
Online AccessGet full text
ISSN2075-2180
2075-2180
DOI10.4204/EPTCS.355.1

Cover

More Information
ISSN:2075-2180
2075-2180
DOI:10.4204/EPTCS.355.1