wiki:Events/PN2011/Diary

Context Navigation

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

Note: See TracWiki for help on using the wiki.

Download in other formats:

Plain Text