Pages that link to "Item:Q2453531"

The following pages link to TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531):

Displaying 1 item.

• Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* (Q4989166) (← links)