Inferring event stream abstractions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister. Inferring event stream abstractions. Formal Methods in System Design, 53(1):54-82, 2018. [doi]

This author has not been identified. Look up 'Sean Kauffman' in GoogleThis author has not been identified. It may be one of the following persons:

Klaus Havelund

Look up 'Klaus Havelund' in GoogleThis author has not been identified. Look up 'Rajeev Joshi' in GoogleThis author has not been identified. Look up 'Sebastian Fischmeister' in Google

runs on WebDSL