scientific article; zbMATH DE number 2036470

zbMath1031.68815MaRDI QIDQ4446388

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (1)

Specification and verification of multimedia synchronization in duration calculus

This page was built for publication: