Author:
Watel Dimitri,Weisser Marc-Antoine,Barth Dominique
Publisher
Springer International Publishing
Reference27 articles.
1. Reaxys. Elsevier (2016). https://www.elsevier.com/solutions/reaxys
2. Lecture Notes in Computer Science;PA Abdulla,2009
3. Abdulla, P.A., Mayr, R.: Computing optimal coverability costs in priced timed Petri nets. In: Proceedings of the Symposium on Logic in Computer Science, pp. 399–408 (2011)
4. Abdulla, P.A., Mayr, R.: Priced timed Petri nets. Logical Methods Comput. Sci. 9(4), 1–51 (2013)
5. Andersen, J.L., Flamm, C., Merkle, D., Stadler, P.F.: Maximizing output and recognizing autocatalysis in chemical reaction networks is NP-complete. J. Syst. Chem. 3(1), 1–9 (2012). http://www.jsystchem.com/content/3/1/1
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Directed Reachability for Infinite-State Systems;Tools and Algorithms for the Construction and Analysis of Systems;2021