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:(Visual AND temporal AND logic AND as AND a AND rapid AND prototyping AND tool)
Suggestions: Include records that partially match the query
Visual temporal logic as a rapid prototyping tool 10.1016/S0096-0551(01)00017-0
Computer Languages — 2001, Volume 27, Issue 1-3, pp. 93-113
Year: 2001
Language: English
Visual temporal logic as a rapid prototyping tool
Proceeding of the First International Symposium on Visual Formal Methods Vfm'99 [invited Paper] — 1999, pp. 1-15
Year: 1999
Language: English