scientific article; zbMATH DE number 3604326

MaRDI QIDQ4170200zbMATH OpenFDO

Authors Zbigniew Huzar

Publication date 1978

Mathematics Subject Classification ID

Directed graphs (digraphs), tournaments (05C20) Theory of operating systems (68N25) 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 Q4170200)