scientific article; zbMATH DE number 2102740
From MaRDI portal
Publication:4818827
zbMath1045.03514MaRDI QIDQ4818827
Angelika Mader, Julian Bradfield, Javier Esparza
Publication date: 24 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (3)
Tableau methods for PA-processes ⋮ Unnamed Item ⋮ Satisfiability of Linear Time Mu-Calculus on Finite Traces
This page was built for publication:
