scientific article; zbMATH DE number 7319045
From MaRDI portal
Publication:4965870
zbMath1457.68165arXiv1111.3110MaRDI QIDQ4965870
Christian Krause, Holger Giese
Publication date: 10 March 2021
Full work available at URL: https://arxiv.org/abs/1111.3110
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Tweaking the odds in probabilistic timed automata ⋮ Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic ⋮ Model checking for probabilistic timed automata ⋮ Interval probabilistic timed graph transformation systems
This page was built for publication:
