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:(Difference AND Decision AND Diagrams)
Suggestions: Include records that partially match the query
Computer Science Logic (lncs 1683) — 1999
Year: 1999
Language: English
Symbolic model checking of timed guarded commands using difference decision diagrams 10.1016/S1567-8326(02)00023-1
Year: 2002
Language: English
Year: 2001
Language: English