Projects
PAOSE
Mulan
Renew
Publications
Events
Downloads
Search:
Login
Preferences
Help/Guide
About PAOSE
Wiki
Search
wiki:
Events
/
ACPN2010
Context Navigation
← Previous Version
View Latest Version
Next Version
→
Version 1 (modified by
Eva Müller
,
14 years ago
) (
diff
)
--
Monday: Sep, 13th 2010
Lectures by
Wojciech Penzeck (Warsaw, Poland)
Introduction to state space-based verification
Formal modelling of protocols: Petri nets and automata
and
Lars M. Kristensen (Bergen, Norway)
Download in other formats:
Plain Text