Pages that link to "Item:Q3569043"

The following pages link to From timed automata to logic — and back (Q3569043):

Displaying 3 items.

• Adequacy and complete axiomatization for timed modal logic (Q283762) (← links)
• Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
• Learning deterministic probabilistic automata from a model checking perspective (Q1689574) (← links)