scientific article; zbMATH DE number 1324653

MaRDI QIDQ4255552zbMATH OpenFDO

Authors Marta Kwiatkowska, Gethin Norman, Christel Baier

Publication date 17 August 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=22#22003

zbMATH Keywords

linear time specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Probabilistic verification and approximation
• The complexity of probabilistic verification
• Model checking of probabilistic and nondeterministic systems
• scientific article; zbMATH DE number 1507207
• Probabilistic verification

Cited in

(3)

• Verified computation with probabilities
• scientific article; zbMATH DE number 1361118 (Why is no real title available?)
• Linear Structures for Concurrency in Probabilistic Programming Languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4255552)