scientific article; zbMATH DE number 1836401

MaRDI QIDQ4782086zbMATH OpenFDO

Authors Lawrence E. Holloway, Andy Callahan, John O'Rear, Xiaoyi Guan

Publication date 21 April 2003

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Software, source code, etc. for problems pertaining to systems and control theory (93-04)

Cited in

(2)

• An equivalent CTL formulation for condition sequences
• Spectool

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