Model Checking (Grundlagen und Praxiserfahrungen) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ralf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf. Model Checking (Grundlagen und Praxiserfahrungen). Informatik Spektrum, 27(2):146-158, 2004. [doi]

This author has not been identified. Look up 'Ralf Buschermöhle' in GoogleThis author has not been identified. Look up 'Mark Brörkens' in GoogleThis author has not been identified. Look up 'Ingo Brückner' in GoogleThis author has not been identified. Look up 'Werner Damm' in GoogleThis author has not been identified. Look up 'Wilhelm Hasselbring' in GoogleThis author has not been identified. Look up 'Bernhard Josko' in GoogleThis author has not been identified. Look up 'Christoph Schulte' in GoogleThis author has not been identified. Look up 'Thomas Wolf' in Google

runs on WebDSL