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:(Verification AND of AND Large AND State/Event AND Systems AND using AND Compositionality AND and AND Dependency AND Analysis.)
Suggestions: Include records that partially match the query
Verification of Large State/Event Systems using Compositionality and Dependency Analysis 10.1023/A:1008736219484
Year: 2001
Language: English
Verification of Large State/Event Systems using Compositionality and Dependency Analysis 10.1007/BFb0054173
Proceedings of Tacas'98 (lncs 1384) — 1999, pp. 201-216
Year: 1999
Language: English