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:(Specification AND of AND Concurrent AND Objects)
Suggestions: Include records that partially match the query
Specification of Concurrent Objects
Department of Information Technology, Technical University of Denmark — 1997
Year: 1997
Language: English
Interval-based Specification of Concurrent Objects
Proceedings of Esslli'98 Workshop on Duration Calculus — 1998, pp. 111-131
Year: 1998
Language: English