Introduction to Model Checking: Examples: Program graphs, Transition systems Modelling Parallel Systems (Di, 18.10.2011)
Zur Veranstaltungsseite
  • Einbetten