scientific article; zbMATH DE number 3562483

MaRDI QIDQ4134928zbMATH OpenFDO

Authors Neil D. Jones, Steven S. Muchnick

Publication date 1975

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(1)

• A saturation method for the modal \(\mu \)-calculus over pushdown systems

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