The Complexity of Processing Hierarchical Specifications

DOI10.1137/0222042zbMath0777.68050OpenAlexW2002057456MaRDI QIDQ4202216

Harry B. III Hunt, Daniel J. Rosenkrantz

Publication date: 1 September 1993

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0222042

zbMATH Keywords

circuit simulationhierarchical specification

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Reliability, testing and fault tolerance of networks and computer systems (68M15)

This page was built for publication: The Complexity of Processing Hierarchical Specifications