Introduction to Model Checking: Parallelism and Communication Channel Systems and examples

Introduction to Model Checking: Parallelism and Communication Channel Systems and examples (Mo, 24.10.2011)