An Expressive Temporal Logic for Basic LOTOS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve. An Expressive Temporal Logic for Basic LOTOS. In Son T. Vuong, editor, Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 89, Vancouver, BC, Canada, 5-8 December, 1989. pages 261-276, North-Holland, 1989.

This author has not been identified. Look up 'Alessandro Fantechi' in GoogleThis author has not been identified. Look up 'Stefania Gnesi' in GoogleThis author has not been identified. Look up 'Cosimo Laneve' in Google

runs on WebDSL