Show 5 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: author exact 3AE651B6-F0EE-11E1-A9DE-61C894A0A6B4 cql: author exact 73938D7C-B25E-11E6-B104-2D2FD0AF0289 Add to list Conference Paper C3 open access UML based Verification of Software Sara Van Langenhove, Albert Hoogewijs (UGent) and Benjamin De Leeuw (2004) 32nd Spring School in Theoretical Computer Scienc, Concurrency theory and applications.