Tietoaineistot
- 2 tulosta
Hakutulokset
-
OGAN Experimental Results
Peltomäki, J. (Luoja) & Porres, I. (Luoja), Zenodo, 27 syysk. 2023
DOI - pysyväislinkki: 10.5281/zenodo.8382845, https://zenodo.org/record/8382845
Tietoaineisto
-
ARCH-COMP 2023 Category Report: Falsification - Validation
Menghi, C. (Luoja), Arcaini, P. (Luoja), Baptista, W. (Luoja), Ernst, G. (Luoja), Fainekos, G. (Luoja), Formica, F. (Luoja), Gon, S. (Luoja), Khandait, T. (Luoja), Kundu, A. (Luoja), Pedrielli, G. (Luoja), Peltomäki, J. (Luoja), Porres, I. (Luoja), Ray, R. (Luoja), Waga, M. (Luoja) & Zhang, Z. (Luoja), Zenodo, 11 kesäk. 2023
DOI - pysyväislinkki: 10.5281/zenodo.8024426, https://zenodo.org/record/8024426
Tietoaineisto