Pages that link to "Item:Q916414"

The following pages link to Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems (Q916414):

Displaying 1 item.

• Temporal predicate transition nets—a new formalism for specifying and verifying concurrent systems (Q4032915) (← links)