Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Reachability in Timed Counter Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |