Author:
Baldan Paolo,Corradini Andrea,König Barbara,Lluch Lafuente Alberto
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Lecture Notes in Computer Science;P. Baldan,2001
2. Lecture Notes in Computer Science;P. Baldan,2004
3. ENTCS;P. Baldan,2004
4. Lecture Notes in Computer Science;P. Baldan,2002
5. Lecture Notes in Computer Science;P. Baldan,2003
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation;Graph Transformation;2023
2. A Presheaf Semantics for Quantified Temporal Logics;Recent Trends in Algebraic Development Techniques;2023
3. Logic for Timed Agent Network Topologies;2022 IEEE 61st Conference on Decision and Control (CDC);2022-12-06
4. On Binding in the Spatial Logics for Closure Spaces;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022
5. Formal testing of timed graph transformation systems using metric temporal graph logic;International Journal on Software Tools for Technology Transfer;2021-06