Real-time LOTOS and Timed Observations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jim Davies, Jeremy Bryans, Steve Schneider. Real-time LOTOS and Timed Observations. In Gregor von Bochmann, Rachida Dssouli, Omar Rafiq, editors, Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. Volume 43 of IFIP Conference Proceedings, pages 383-397, Chapman & Hall, 1995.

This author has not been identified. Look up 'Jim Davies' in GoogleThis author has not been identified. Look up 'Jeremy Bryans' in GoogleThis author has not been identified. Look up 'Steve Schneider' in Google

runs on WebDSL