scientific article

zbMath0533.68035MaRDI QIDQ3316583

Aizhu Zhang, Tong Gao Tang

Publication date: 1984

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

zbMATH Keywords

Modelsprogramsfirst order temporal logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

This page was built for publication: