(2025). The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems . Retrieved from https://hdl.handle.net/10446/293225

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems

Menghi C.;
2025-01-01
2025
Abate, A.; Althoff, M.; Bu, L.; Ernst, G.; Frehse, G.; Geretti, L.; Johnson, T. T.; Menghi, Claudio; Mitsch, S.; Schupp, S.; Soudjani, S.
File allegato/i alla scheda:
Non ci sono file allegati a questa scheda.
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/293225
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact