scientific article; zbMATH DE number 3793393
From MaRDI portal
Publication:3969855
zbMATH Open0503.68017MaRDI QIDQ3969855FDOQ3969855
Authors: Sh. E. Bozoyan
Publication date: 1981
Title of this publication is not available (Why is that?)
simulation algorithmsdescription languagecomplexity estimationscodes of schemesschemes of functional elements and delayssyntactic control
General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)
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 Q3969855)