scientific article; zbMATH DE number 6774216

DOI10.4230/LIPIcs.CONCUR.2015.254zbMath1374.68273MaRDI QIDQ5357708

Fu Song, Taolue Chen, Zhilin Wu

Publication date: 12 September 2017

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

zbMATH Keywords

satisfiabilityparameterised systemsindexed linear temporal logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

This page was built for publication: