Adding two equivalence relations to the interval temporal logic AB - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Angelo Montanari, Marco Pazzaglia, Pietro Sala. Adding two equivalence relations to the interval temporal logic AB. In Stefano Bistarelli, Andrea Formisano, editors, Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014. Volume 1231 of CEUR Workshop Proceedings, pages 171-182, CEUR-WS.org, 2014. [doi]

This author has not been identified. Look up 'Angelo Montanari' in GoogleThis author has not been identified. Look up 'Marco Pazzaglia' in GoogleThis author has not been identified. Look up 'Pietro Sala' in Google

runs on WebDSL