scientific article; zbMATH DE number 2147036

From MaRDI portal

Revision as of 17:04, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4658722

Jump to:navigation, search

zbMath1088.68536MaRDI QIDQ4658722

Orieta Celiku, Annabelle McIver

Publication date: 18 March 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

probability nondeterminism HOL program refinement expected time bounds quantitative program logic

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Markov chains and Markov decision processes in Isabelle/HOL ⋮ An elementary proof that Herman's ring is \(\Theta (N^{2})\)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4658722&oldid=18863396"