12th SPIN 2005: San Francisco, CA, USA

Refine list

showing all ?? records

Invited Talks/Papers

Invited Tutorials

State Representation and Abstraction

Dealing with Concurrency

Dealing with Complex Data

Checking Temporal Properties

Checking Security and Real-Time Properties

Tool Papers

a service of  Schloss Dagstuhl - Leibniz Center for Informatics