scientific article; zbMATH DE number 1303997
From MaRDI portal
Publication:4250666
zbMath0924.68022MaRDI QIDQ4250666
Elena Troubitsyna, Annabelle McIver, Carroll Morgan
Publication date: 17 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Integrating stochastic reasoning into Event-B development ⋮ Algebraic reasoning for probabilistic action systems and while-loops
This page was built for publication:
