Deriving Temporal Logic Specifications from Predicate Transition Petri Net - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Xudong He, John A. N. Lee. Deriving Temporal Logic Specifications from Predicate Transition Petri Net. In SEKE 89, Proceedings of the First International Conference on Software Engineering and Knowledge Engineering, Skokie, USA, June 15-16, 1989. pages 116-121, Knowledge Systems Institute, 1989.

The following publications are possibly variants of this publication:

Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent SystemsXudong He, John A. N. Lee. fac, 2(3):226-246, 1990.

runs on WebDSL