scientific article; zbMATH DE number 1536556
From MaRDI portal
Publication:4518424
zbMath0949.03511MaRDI QIDQ4518424
Y. S. Ramakrishna, G. Kutty, L. K. Dillon, P. Michael Melliar-Smith, Louise E. Moser
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)