Author:
Darondeau Philippe,Demri Stéphane,Meyer Roland,Morvan Christophe
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling the value chain with object-valued Petri Nets;WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS;2021-12-31
2. Polynomial reachability witnesses via Stellensätze;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
3. Towards unobtrusive patient‐centric access‐control for Health Information System;Concurrency and Computation: Practice and Experience;2020-05-27
4. On the complexity of resource-bounded logics;Theoretical Computer Science;2018-11
5. Modelling Maintenance and Renewal in Petri Nets;Applied Mechanics and Materials;2013-01