Toggle navigation
Home/News
Information
About the course
Time schedule
Literature resources
Textbook and related books
Lectures
Programming resources
Computer issues
Resources for Java, Erlang and SPIN
Exercises
Overview
Promela Exercises
Java Exercises
Erlang Exercises
Labs
General information
Lab 1: Trainspotting
Lab 2: Trainspotting II
Lab 3: Linda
Lab 4: CCHAT
Exams
First contact with concurrent programming using PROMELA
Here
you can download the exercise document.