scientific article; zbMATH DE number 956806
From MaRDI portal
Publication:5687213
zbMath0861.90121MaRDI QIDQ5687213
Publication date: 11 December 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Formal techniques for performance analysis: blending SAN and PEPA ⋮ The PSR methodology: Integrating hardware and software models ⋮ Modelling patterns of gene regulation in the bond-calculus ⋮ Estimation of cell lineage trees by maximum-likelihood phylogenetics ⋮ Bisimulation relations for weighted automata ⋮ Fluid approximation of broadcasting systems ⋮ Exact performance equivalence: An equivalence relation for stochastic automata
Uses Software
This page was built for publication:
