scientific article
From MaRDI portal
Publication:2783114
zbMath0985.68616MaRDI QIDQ2783114
Christoph Spalinger, Jörg Bormann
Publication date: 20 May 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Fault detection; testing in circuits and networks (94C12) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
