Author:
Demri Stéphane,Figueira Diego,Praveen M
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Realizability problem for constraint LTL;Information and Computation;2024-01
2. The Reachability Problem for Petri Nets Is Not Elementary;Journal of the ACM;2021-02
3. PLAYING WITH REPETITIONS IN DATA WORDS USING ENERGY GAMES;LOG METH COMPUT SCI;2020
4. KReach: A Tool for Reachability in Petri Nets;Tools and Algorithms for the Construction and Analysis of Systems;2020
5. The reachability problem for Petri nets is not elementary;Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing;2019-06-23