Video Catalog

Views: 2744

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

Formale Grundlagen der Informatik II(WiSe 11/12)

This video may be embedded in other websites. You must copy the embeding code and paste it in the desired location in the HTML text of a Web page. Please always include the source and point it to lecture2go!



Social Media