scientific article; zbMATH DE number 1324658

zbMath0920.68080MaRDI QIDQ4255558

Annabelle McIver

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#22008

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

zbMATH Keywords

\(\mu\)-calculus

Mathematics Subject Classification ID

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

Related Items (1)

Model checking discounted temporal properties

This page was built for publication: