Author:
Latvala Timo,Biere Armin,Heljanko Keijo,Junttila Tommi
Publisher
Springer Berlin Heidelberg
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Bounded Model Checking of Synchronous Reactive Models in Ptolemy II;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12
2. Temporal Logic Guided Motion Primitives for Complex Manipulation Tasks with User Preferences;2022 International Conference on Robotics and Automation (ICRA);2022-05-23
3. A Bounded Semantics for Improving the Efficiency of Bounded Model Checking;2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS);2022-03
4. Deadlock Detection in Petri Net Equivalent to IMDS;Studies in Computational Intelligence;2019-03-17
5. Detection of Declarative Process Constraints in LTL Formulas;Lecture Notes in Business Information Processing;2019