scientific article; zbMATH DE number 1946767
From MaRDI portal
Publication:4411090
zbMath1017.68500MaRDI QIDQ4411090
Boudewijn R. Haverkort, Holger Hermanns, Christel Baier, Joost-Pieter Katoen
Publication date: 7 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2459/24590261.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference ⋮ Assisting the design of a groupware system - Model checking usability aspects of thinkteam
Uses Software
This page was built for publication: