"Synthesis of auxiliary algorithms for preliminary assessment of stuck-at ..."

S. A. Belozorov, S. V. Tyurin, Yu. Ya. Agranovich (2014)

Details and statistics

DOI: 10.1134/S0005117914100142

access: closed

type: Journal Article

metadata version: 2020-07-03

a service of  Schloss Dagstuhl - Leibniz Center for Informatics