11 - Verfeinerung / Vergrößerung : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
20 - Datenbank - Manager; Alternierprotokoll : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
9 - Synchrone Produkte : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
17 - Strukturelle Eigenschaftem von Systemverifikationen : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
19 - Renew (Wdh.); Bankiersproblem : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
16 - Strukturelle Eigenschaften: Netzinvarianten, Fallen : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
15 - Fairness; Zustandsraumexplosion : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
18 - Renew; Workflow : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
12 - Elementare Systemeigenschaften von P/T-Netzen : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
10 - Partial order semantics / Petrinetze : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
13 - Elementare Systemeigenschaften von P/T - Netzen (Wdh.) : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
14 - Entscheidbarkeitsproblem : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
