Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems
Article
He, X, Lee, JAN. (1990). Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems
. 2(1), 226-246. 10.1007/BF01888226
He, X, Lee, JAN. (1990). Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems
. 2(1), 226-246. 10.1007/BF01888226