Representing first order logic-based specifications in Petri-net-like graphs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kaizhi Yue. Representing first order logic-based specifications in Petri-net-like graphs. In Sol J. Greenspan, editor, Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 291-293, ACM, 1989. [doi]

This author has not been identified. Look up 'Kaizhi Yue' in Google

runs on WebDSL