Corto Mascle公司 克里斯特尔·拜尔 弗洛里安·芬克0002 西蒙·扬奇 斯特凡·基弗 责任和验证：时间逻辑中的重要性值。 1-14 2021 许可证 https://doi.org/10.109/LICS52264.2021.9470597 conf/lics/2021 db/conf/lics/lics2021.html#MascleBFJK21