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

From MaRDI portal

(Redirected from Dataset:6722154)

Jump to:navigation, search

DOI10.5281/zenodo.7566398ZenodoMaRDI QIDQ6722154FDO

Authors Dor Ma'Ayan, Shahar Maoz

Publication date 24 January 2023

Copyright license Creative Commons Attribution 4.0 International

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"