Formal characterization and efficient verification of a biological robustness property - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lucia Nasti, Roberta Gori, Paolo Milazzo. Formal characterization and efficient verification of a biological robustness property. In 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021. pages 13-18, IEEE, 2021. [doi]

This author has not been identified. Look up 'Lucia Nasti' in GoogleThis author has not been identified. Look up 'Roberta Gori' in GoogleThis author has not been identified. Look up 'Paolo Milazzo' in Google

runs on WebDSL