Formula Based Abstractions of Transition Systems for Real-Time Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini. Formula Based Abstractions of Transition Systems for Real-Time Model Checking. In Jeannette M. Wing, Jim Woodcock, Jim Davies, editors, FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I. Volume 1708 of Lecture Notes in Computer Science, pages 289-306, Springer, 1999. [doi]

This author has not been identified. Look up 'Roberto Barbuti' in GoogleThis author has not been identified. Look up 'Nicoletta De Francesco' in GoogleThis author has not been identified. Look up 'Antonella Santone' in GoogleThis author has not been identified. Look up 'Gigliola Vaglini' in Google

runs on WebDSL