Statistical Model Checking for sf P - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francisco Durán 0001, Nicolás Pozas, Carlos Ramírez, Camilo Rocha. Statistical Model Checking for sf P. In Alessandro Cimatti, Laura Titolo, editors, Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Volume 14290 of Lecture Notes in Computer Science, pages 40-56, Springer, 2023. [doi]

This author has not been identified. Look up 'Francisco Durán 0001' in GoogleThis author has not been identified. Look up 'Nicolás Pozas' in GoogleThis author has not been identified. Look up 'Carlos Ramírez' in GoogleThis author has not been identified. Look up 'Camilo Rocha' in Google

runs on WebDSL