Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: parent exact "32nd Spring School in Theoretical Computer Scienc, Concurrency theory and applicati... 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.