scientific article; zbMATH DE number 3566118
From MaRDI portal
Publication:4138073
zbMath0363.68013MaRDI QIDQ4138073
J. J. Bicevskis, A. A. Kalnin'Sh, Ja. M. Barzdin'
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Automatic construction of test sets: Theoretical approach ⋮ Deciding properties of integral relational automata ⋮ Ensuring completeness of symbolic verification methods for infinite-state systems ⋮ Model checking of systems with many identical timed processes ⋮ Algorithmic analysis of programs with well quasi-ordered domains.
This page was built for publication:
