Emptiness problem for program charts. II

zbMATH Open0421.68014MaRDI QIDQ1133309

V. A. Nepomnyashchij

Publication date: 1977

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

program chartsrecognizing capabilities of stack automata

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Emptiness problem for program charts. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1133309)