Universität Paderborn - Home Universität Paderborn
Die Universität der Informationsgesellschaft

Parallel Programming WS 2014/2015 - Slide 15d

Next Slide Previous Slide Next Slide

Objectives:
Example for application of inference rules

In the lecture:
The verification steps are explained in "Modellierung" slide and PDF-file Mod-4.68

Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 09.10.2014