A Generic Approach for the Automatic Verification of Featured, Parameterised Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alice Miller, Muffy Calder. A Generic Approach for the Automatic Verification of Featured, Parameterised Systems. In Stephan Reiff-Marganiec, Mark Ryan, editors, Feature Interactions in Telecommunications and Software Systems VIII, ICFI 05, 28-30 June 2005, Leicester, UK. pages 217-235, IOS Press, 2005.

This author has not been identified. Look up 'Alice Miller' in GoogleThis author has not been identified. Look up 'Muffy Calder' in Google

runs on WebDSL