Back to Results
First PageMeta Content
Petri nets / Formal methods / Model checking / Tamagotchi / Software engineering / Visual programming language / Computer science / TAPAAL Model Checker / Models of computation / Concurrency / Diagrams


Technische UniversitŠt MŸnchen FakultŠt fŸr Informatik Lehrstuhl fŸr Programmiermethodik und Verteilte Systeme Univ.-Prof. Dr. M. Broy
Add to Reading List

Document Date: 2007-08-26 06:05:19

Open Document

File Size: 267,43 KB

Share Result on Facebook
UPDATE