Projects
PAOSE
Mulan
Renew
Publications
Events
Downloads
Search:
Login
Preferences
Help/Guide
About PAOSE
Wiki
Search
wiki:
Events
/
PN2011
/
Diary
Context Navigation
←
Previous Version
View Latest Version
Next Version
→
Version 2 (modified by
Lawrence Cabac
,
14 years ago
) (
diff
)
--
Speakers:
Keynotes
Randell
Structured Occurrence Nets
Yoneda
Network on Chip
Tool Session
Xu
ISTA
Kindler
ePNK
Westergaard
AccesCPN 2.0
Tool Session
Finkel
T-Bounded
Colange Crocodile
Servais
Minimal coverability
Download in other formats:
Plain Text