scientific article; zbMATH DE number 3338180

MaRDI QIDQ5615086zbMATH OpenFDO

Authors Heinz J. Skala

Publication date 1971

Mathematics Subject Classification ID

Model theory (03C99) Specification and verification (program logics, model checking, etc.) (68Q60) Graph theory (including graph drawing) in computer science (68R10)

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 Q5615086)