scientific article; zbMATH DE number 6318170
From MaRDI portal
Publication:5170011
zbMath1291.68254MaRDI QIDQ5170011
Jeffrey Dallien, Wendy MacCaull
Publication date: 17 July 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
This page was built for publication: