Artifact for ICSE'23 paper: Using Reactive Synthesis: An End-to-End Exploratory Case Study

From MaRDI portal
(Redirected from Dataset:6722154)



DOI10.5281/zenodo.7566398Zenodo7566398MaRDI QIDQ6722154FDOQ6722154

Dataset published at Zenodo repository.

Dor Ma'Ayan, Shahar Maoz

Publication date: 24 January 2023

Copyright license: Creative Commons Attribution 4.0 International



Description

Artifact for ICSE23 paper: Using Reactive Synthesis: An End-to-End Exploratory Case Study







This page was built for dataset: Artifact for ICSE'23 paper: Using Reactive Synthesis: An End-to-End Exploratory Case Study

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Artifact_for_ICSE%2723_paper:_Using_Reactive_Synthesis:_An_End-to-End_Exploratory_Case_Study&oldid=54692042"
Powered by MediaWiki