scientific article
From MaRDI portal
Publication:2769612
zbMath0978.68092MaRDI QIDQ2769612
Moshe Y. Vardi, Hana Chockler, Orna Kupferman
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310528
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 (4)
Analysing sanity of requirements for avionics systems ⋮ Model measuring for discrete and hybrid systems ⋮ Operational causality -- necessarily sufficient and sufficiently necessary ⋮ Before and after vacuity
This page was built for publication:
