scientific article
From MaRDI portal
Publication:4037086
zbMath0800.94302MaRDI QIDQ4037086
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fault detection; testing in circuits and networks (94C12) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
A technique of state space search based on unfolding ⋮ Using integer programming to verify general safety and liveness properties ⋮ Specification and automatic verification of self-timed queues
This page was built for publication:
