Author:
Bérard Béatrice,Fribourg Laurent
Publisher
Springer Berlin Heidelberg
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Polyhedral Abstraction Proving;Application and Theory of Petri Nets and Concurrency;2023
2. Acceleration in Multi-PushDown Systems;Tools and Algorithms for the Construction and Analysis of Systems;2016
3. Using Real Relaxations during Program Specialization;Logic-Based Program Synthesis and Transformation;2012
4. Generating Inductive Invariants for Petri Nets;Advances in Intelligent and Soft Computing;2012
5. A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures;Service Oriented Computing and Applications;2010-12-30