scientific article

zbMath1276.68106MaRDI QIDQ2863839

John Derrick, Graeme Smith

Publication date: 4 December 2013

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

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

zbMATH Keywords

model checkingrefinementCTL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

On using data abstractions for model checking refinements

This page was built for publication: