scientific article; zbMATH DE number 1324647

zbMath0920.68082MaRDI QIDQ4255544

Wilco Koorn, Jan Friso Groote, Sebastiaan van Vlijmen

Publication date: 18 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=21#21006

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

zbMATH Keywords

\(\mu\)CRL

Mathematics Subject Classification ID

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

This page was built for publication: