DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
title:(Model-checking AND dense-time AND duration AND calculus)
Suggestions: Include records that partially match the query
Model-checking dense-time Duration Calculus 10.1007/s00165-004-0032-y
Formal Aspects of Computing — 2004, Volume 16, Issue 2, pp. 121-139
Year: 2004
Language: English
Model-checking dense-time Duration Calculus
Formal Aspects of Computing — 2004, Volume 16, Issue 2, pp. 121-139
Year: 2004
Language: English
Model-checking dense-time duration calculus
Duration Calculus: a Logical Approach To Real-time Systems, Workshop Proceedings of the 10th European Summer School in Logic — 1998, pp. 31-40
Year: 1998
Language: English