en | de

Introduction to Model Checking

master program

VO1  WS 2007/2008  703503

Introduction

The course covers the following topics:

Literature

The course is based on the following book:

Language

The course is taught in English.