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:
journal:(Formal AND Aspects AND of AND Computing) AND 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