scientific article

zbMath1276.68104MaRDI QIDQ2863878

Michael Huth

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106003975?np=y

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

zbMATH Keywords

validitytopologymodel checkingrefinementmodal transition system

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Towards a descriptive set theory for domain-like structures

This page was built for publication: