Efficient Encoding Schemes for Symbolic Analysis of Petri Nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Enric Pastor, Jordi Cortadella. Efficient Encoding Schemes for Symbolic Analysis of Petri Nets. In 1998 Design, Automation and Test in Europe (DATE 98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France. pages 790-795, IEEE Computer Society, 1998. [doi]

This author has not been identified. Look up 'Enric Pastor' in GoogleThis author has not been identified. Look up 'Jordi Cortadella' in Google

runs on WebDSL