28th FORTE 2008: Tokyo, Japan

Refine list

showing all ?? records

Invited Talk

Abstraction

Verification

Specification Framework I

Application

Specification Framework II

Theory

Reliability of Networked Systems

a service of  Schloss Dagstuhl - Leibniz Center for Informatics