Pages that link to "Item:Q3190141"

The following pages link to Reducing Clocks in Timed Automata while Preserving Bisimulation (Q3190141):

Displaying 3 items.

• An automated system repair framework with signal temporal logic (Q2139184) (← links)
• Untangling the graphs of timed automata to decrease the number of clocks (Q2165509) (← links)
• An efficient customized clock allocation algorithm for a class of timed automata (Q6113895) (← links)