Responsibility and verification: Importance value in temporal logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Corto Mascle, Christel Baier, Florian Funkev, Simon Jantsch, Stefan Kiefer. Responsibility and verification: Importance value in temporal logics. In 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. pages 1-14, IEEE, 2021. [doi]

This author has not been identified. Look up 'Corto Mascle' in GoogleThis author has not been identified. Look up 'Christel Baier' in GoogleThis author has not been identified. Look up 'Florian Funkev' in GoogleThis author has not been identified. Look up 'Simon Jantsch' in GoogleThis author has not been identified. Look up 'Stefan Kiefer' in Google

runs on WebDSL