Pages that link to "Item:Q955710"

The following pages link to Design and verification of long-running transactions in a timed framework (Q955710):

Displaying 2 items.

• A survey of timed automata for the development of real-time systems (Q394966) (← links)
• Weak bisimulation for probabilistic timed automata (Q606996) (← links)