Crossmark

A Train to the OPERA

Crossref DOI link: https://doi.org/10.1007/978-3-032-12484-5_2

Published Online: 2026-02-06

Published Print: 2026

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Cavada, Roberto

Cimatti, Alessandro https://orcid.org/0000-0002-1315-6990
Scaglione, Giuseppe

Susi, Angelo https://orcid.org/0000-0002-5026-7462
Tessi, Matteo
License Information

Text and Data Mining valid from 2026-01-01

Version of Record valid from 2026-01-01
More Information

Chapter History

First Online: 6 February 2026