Checking safety properties on-the-fly with the sweep-line method - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen. Checking safety properties on-the-fly with the sweep-line method. STTT, 9(3-4):371-391, 2007. [doi]

This author has not been identified. Look up 'Guy Edward Gallasch' in GoogleThis author has not been identified. Look up 'Jonathan Billington' in GoogleThis author has not been identified. Look up 'Somsak Vanit-Anunchai' in GoogleThis author has not been identified. Look up 'Lars Michael Kristensen' in Google

runs on WebDSL