From Spot 2.0 to Spot 2.10: What’s New?
From MaRDI portal
Publication:6487335
DOI10.1007/978-3-031-13188-2_9zbMath1514.68128MaRDI QIDQ6487335
Florian Renkin, Philipp Schlehuber-Caissier, Unnamed Author, Etienne Renault, Antoine Martin, Jérôme Dubois, Unnamed Author, Alexandre Duret-Lutz, Maximilien Colange, Unnamed Author, Henrich Lauko
Publication date: 7 December 2022
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
This page was built for publication: From Spot 2.0 to Spot 2.10: What’s New?
