PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets

1985 · 27 citations · 0 references