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:(A AND Timed AND Semantics AND for AND SDL)
Suggestions: Include records that partially match the query
Formal Description Techniques Ix, Theory, Application and Tools — 1996, pp. 295-309
Year: 1996
Language: English
A Timed Semantics for SDL 10.1007/978-0-387-35079-0_18
Formal Description Techniques Ix — 1996, pp. 295-309
Year: 1996
Language: English