scientific article; zbMATH DE number 1956586

zbMATH Open1031.68547MaRDI QIDQ4417929FDOQ4417929

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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)