scientific article; zbMATH DE number 1059322

zbMath0883.68089MaRDI QIDQ4353629

Wojciech Penczek, Marian Srebrny

Publication date: 10 September 1997

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

zbMATH Keywords

program verificationfirst-order temporal logic over trace systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: