From Spot 2.0 to Spot 2.10: What's New? - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko. From Spot 2.0 to Spot 2.10: What's New?. In Sharon Shoham, Yakir Vizel, editors, Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II. Volume 13372 of Lecture Notes in Computer Science, pages 174-187, Springer, 2022. [doi]

This author has not been identified. Look up 'Alexandre Duret-Lutz' in GoogleThis author has not been identified. Look up 'Etienne Renault' in GoogleThis author has not been identified. Look up 'Maximilien Colange' in GoogleThis author has not been identified. Look up 'Florian Renkin' in GoogleThis author has not been identified. Look up 'Alexandre Gbaguidi Aisse' in GoogleThis author has not been identified. Look up 'Philipp Schlehuber-Caissier' in GoogleThis author has not been identified. Look up 'Thomas Medioni' in GoogleThis author has not been identified. Look up 'Antoine Martin' in GoogleThis author has not been identified. Look up 'Jérôme Dubois' in GoogleThis author has not been identified. Look up 'Clément Gillard' in GoogleThis author has not been identified. Look up 'Henrich Lauko' in Google

runs on WebDSL