Event-B and Linear Temporal Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Steve A. Schneider, Helen Treharne, David M. Williams. Event-B and Linear Temporal Logic. In Luigia Petre, Emil Sekerinski, editors, From Action Systems to Distributed Systems - The Refinement Approach. pages 113-123, Chapman and Hall/CRC, 2016. [doi]

This author has not been identified. Look up 'Steve A. Schneider' in GoogleThis author has not been identified. Look up 'Helen Treharne' in GoogleThis author has not been identified. Look up 'David M. Williams' in Google

runs on WebDSL