1. Lecture2Go
  2. Catalog
  3. F.6 - Mathematik, Informatik, Naturwissenschaften
  4. Informatik
  5. Formale Grundlagen der Informatik II

Catalog

License: UHH-L2G
4014 Views
10.11.2011
Informatik

8 - Komplexität: CTL-Model-Checking, Petrinetze, Entwicklung

Prof. Dr. Michael Köhler-Bußmeier
Formale Grundlagen der Informatik II (WiSe 11/12)

Links

Citation2Go

Please click on the link bellow and then fill out the required fields to contact our Support Team! RRZ Support Link

    Series