scientific article; zbMATH DE number 3566118
From MaRDI portal
Publication:4138073
zbMATH Open0363.68013MaRDI QIDQ4138073FDOQ4138073
J. J. Bicevskis, A. A. Kalnin'Sh, Ja. M. Barzdin'
Publication date: 1977
Title of this publication is not available (Why is that?)
Cited In (5)
- Deciding properties of integral relational automata
- Ensuring completeness of symbolic verification methods for infinite-state systems
- Automatic construction of test sets: Theoretical approach
- Algorithmic analysis of programs with well quasi-ordered domains.
- Model checking of systems with many identical timed processes
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4138073)
