Author:Jerome Leroux
Keyphrasesacceleration, Flatability, infinite-state systems, Petri net, Petri nets, Presburger, Presburger arithmetic, reachability, reachability problem, VAS, vector addition systems. |
| ||||
| ||||
| Copyright © 2012-2025 easychair.org. All rights reserved. |