Examples for submission to CONCUR'22

From MaRDI portal

(Redirected from Dataset:6710138)

Jump to:navigation, search

DOI10.5281/zenodo.6483615ZenodoMaRDI QIDQ6710138FDO

Authors Javier Esparza, Mikhail Raskin, Christoph Welzel

Publication date 22 April 2022

Copyright license Creative Commons Attribution 4.0 International

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

This page was built for dataset: Examples for submission to CONCUR'22

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Examples_for_submission_to_CONCUR%2722&oldid=54717818"