15 - Systemverifikation durch Petrinetze - Dr. Daniel Moldt - University of Hamburg
- Lecture2Go
- Catalog
- F.6 - Mathematik, Informatik, Naturwissenschaften
- Informatik
- Formale Grundlagen der Informatik 2
Catalog
1993 Views
05.12.2014
15 - Systemverifikation durch Petrinetze
Formale Grundlagen der Informatik 2 (WiSe 14/15)
Technical support
Please click on the link bellow and then fill out the required fields to contact our Support Team!
RRZ Support Link