scientific article; zbMATH DE number 2036470

MaRDI QIDQ4446388zbMATH OpenFDO

Authors Huadong Ma, Wei-min Liu

Publication date 2 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2195/21950983.htm

Mathematics Subject Classification ID

Temporal logic (03B44) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• Multimedia data modeling based on temporal logic and \(XYZ\) system
• Distributed Computing – IWDC 2005
• Publication:4952324
• Logical specification of reactive and real-time systems
• scientific article; zbMATH DE number 139996

Cited in

(3)

• Multimedia data modeling based on temporal logic and \(XYZ\) system
• Specification and verification of multimedia synchronization in duration calculus
• scientific article; zbMATH DE number 2087630 (Why is no real title available?)

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