%0 Journal Article %1 journals/darts/AltmeyerADFHGGH23 %A Altmeyer, Sebastian %A André, Étienne %A Dal-Zilio, Silvano %A Fejoz, Loïc %A Harbour, Michael González %A Graf, Susanne %A Gutiérrez, J. Javier %A Henia, Rafik %A Botlan, Didier Le %A Lipari, Giuseppe %A Medina, Julio L. %A Navet, Nicolas %A Quinton, Sophie %A Rivas, Juan Maria %A Sun, Youcheng %D 2023 %J Dagstuhl Artifacts Ser. %K dblp %N 1 %P 04:1-04:6 %T From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). %U http://dblp.uni-trier.de/db/journals/darts/darts9.html#AltmeyerADFHGGH23 %V 9

@article{journals/darts/AltmeyerADFHGGH23, added-at = {2023-07-03T00:00:00.000+0200}, author = {Altmeyer, Sebastian and André, Étienne and Dal-Zilio, Silvano and Fejoz, Loïc and Harbour, Michael González and Graf, Susanne and Gutiérrez, J. Javier and Henia, Rafik and Botlan, Didier Le and Lipari, Giuseppe and Medina, Julio L. and Navet, Nicolas and Quinton, Sophie and Rivas, Juan Maria and Sun, Youcheng}, biburl = {https://www.bibsonomy.org/bibtex/2c30e2522b018413450628c4930e7a9a0/dblp}, ee = {https://doi.org/10.4230/DARTS.9.1.4}, interhash = {da6f9a47dc8b2b9743c14b0499be2da5}, intrahash = {c30e2522b018413450628c4930e7a9a0}, journal = {Dagstuhl Artifacts Ser.}, keywords = {dblp}, number = 1, pages = {04:1-04:6}, timestamp = {2024-04-08T12:47:37.000+0200}, title = {From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).}, url = {http://dblp.uni-trier.de/db/journals/darts/darts9.html#AltmeyerADFHGGH23}, volume = 9, year = 2023 }