scientific article
From MaRDI portal
Publication:4028317
zbMath0800.94308MaRDI QIDQ4028317
Stephen J. Garland, J. J. Horning, James B. Saxe, J. V. Guttag
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fault detection; testing in circuits and networks (94C12) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication:
