2000 | ||
---|---|---|
1 | EE | Wil M. P. van der Aalst, Poul J. N. de Crom, Roy R. H. M. J. Goverde, Kees M. van Hee, Wout J. Hofman, Hajo A. Reijers, Robert A. van der Toorn: Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. ICATPN 2000: 455-464 |
1 | Wil M. P. van der Aalst | [1] |
2 | Poul J. N. de Crom | [1] |
3 | Kees M. van Hee | [1] |
4 | Wout J. Hofman | [1] |
5 | Hajo A. Reijers | [1] |
6 | Robert A. van der Toorn | [1] |