Sciweavers

APN
1997
Springer

Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course

14 years 3 months ago
Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course
Søren Christensen, Kjeld Høyer Morte
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where APN
Authors Søren Christensen, Kjeld Høyer Mortensen
Comments (0)