scientific article; zbMATH DE number 1536557
From MaRDI portal
Publication:4518425
zbMath0949.03509MaRDI QIDQ4518425
Publication date: 28 November 2000
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