MID1011 | Petri Nets in Software Modeling and Verification |
Teaching Staff in Charge |
Lect. SACAREA Cristian, Ph.D., csacareamath.ubbcluj.ro |
Aims |
References |
Assessment |
Links: | Syllabus for all subjects Romanian version for this subject Rtf format for this subject |