|
СТ |
Design/CPN - A Computer Tool for Coloured Petri Nets |
1997 |
Christensen S., Jorgensen J. B., Kristensen L. M. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
|
СТ |
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding |
1998 |
Kristensen L. M., Valmari A. |
|
|
|
Lecture Notes in Computer Science |
04.07.1998 |
|
СТ |
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks |
2004 |
Kristensen L. M., Jensen K. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.11.2004 |
