State Identification and Verification using a Model Checker - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christopher Robinson-Mallett, Peter Liggesmeyer. State Identification and Verification using a Model Checker. In Bettina Biel, Matthias Book, Volker Gruhn, editors, Software Engineering 2006, Fachtagung des GI-Fachbereichs Softwaretechnik, 28.-31.3.2006 in Leipzig. Volume 79 of LNI, pages 131-142, GI, 2006.

This author has not been identified. Look up 'Christopher Robinson-Mallett' in GoogleThis author has not been identified. Look up 'Peter Liggesmeyer' in Google

runs on WebDSL