(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, Claudio;
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:
File Dimensione del file Formato  
978-3-031-67695-6.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 4.07 MB
Formato Adobe PDF
  Visualizza/Apri
4.07 MB Adobe PDF   Visualizza/Apri
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
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact