scientific article; zbMATH DE number 744048

MaRDI QIDQ4763565zbMATH OpenFDO

Authors

Publication date 17 April 1995

zbMATH Keywords

discrete event systemsheuristic graph-search proceduretemporal logic models

Mathematics Subject Classification ID

Graph algorithms (graph-theoretic aspects) (05C85) Programming involving graphs or networks (90C35)

Recommendations

• Modular Feedback Logic for Discrete Event Systems
• Modular Feedback Logic for Discrete Event Systems
• scientific article; zbMATH DE number 434965
• scientific article; zbMATH DE number 988192
• scientific article; zbMATH DE number 1836405

Cited in

(2)

• Modular Feedback Logic for Discrete Event Systems
• Modular Feedback Logic for Discrete Event 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 Q4763565)