Pages that link to "Item:Q549724"

The following pages link to Distributed temporal logic for the analysis of security protocol models (Q549724):

Displaying 2 items.

• Probability timed automata for investigating communication processes (Q747506) (← links)
• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)