scientific article; zbMATH DE number 1956586

MaRDI QIDQ4417929zbMATH OpenFDO

Authors Henning Dierks, Josef Tapken

Publication date 30 July 2003

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model checking duration calculus: a practical approach
• Real-Time Model-Checking: Parameters everywhere
• Model-checking for real-time systems
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 176728

Cited in

(2)

• Ernst-Rüdiger Olderog: A Life for Meaning
• Moby/DC

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