Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Angelo Furfaro, Libero Nigro. Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study. In Peter Kokol, editor, IASTED International Conference on Software Engineering, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 15-17, 2005. pages 388-393, IASTED/ACTA Press, 2005.

This author has not been identified. Look up 'Angelo Furfaro' in GoogleThis author has not been identified. Look up 'Libero Nigro' in Google

runs on WebDSL