30. FORTE / 12. FMOODS 2010: Amsterdam, The Netherlands

Refine list

showing all ?? records

Invited Talk

Formal UML Modeling

Components and Architecture

Joint DisCoTec Session

Timed Process Algebra

Timed and Hybrid Automata

Program Logics and Analysis

Reasoning about Distributed Systems

a service of  Schloss Dagstuhl - Leibniz Center for Informatics