Examples for submission to CONCUR'22

Name: Examples for submission to CONCUR'22
Creator: Raskin, Mikhail; Welzel, Christoph; Esparza, Javier
Published: 2022-04-22 00:00:00
License: 暂无描述

Zenodo2022-04-22 更新2026-04-07 收录

下载链接：

https://zenodo.org/record/6478392

下载链接

链接失效反馈

官方服务：

资源简介：

These are the examples we discussed in our submission "Regular Model Checking Upside-Down: An Invariant-Based Approach" to CONCUR'22.

提供机构：

Raskin, Mikhail; Welzel, Christoph; Esparza, Javier

创建时间：

2022-04-22