Author: "Mazzanti, Franco" / Database: Springer Nature Journals - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Mazzanti, Franco"' showing total 3 results

Start Over Author "Mazzanti, Franco" Database Springer Nature Journals

3 results on '"Mazzanti, Franco"'

1. Compositional verification of concurrent systems by combining bisimulations

Author: Lang, Frédéric, Mateescu, Radu, and Mazzanti, Franco
Published: 2021
Full Text: View/download PDF

2. Efficient static analysis and verification of featured transition systems

Author: ter Beek, Maurice H., Damiani, Ferruccio, Lienhardt, Michael, Mazzanti, Franco, and Paolini, Luca
Published: 2022
Full Text: View/download PDF

3. Towards formal methods diversity in railways: an experience report with seven frameworks

Author: Mazzanti, Franco, Ferrari, Alessio, and Spagnolo, Giorgio O.
Published: 2018
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results