Pages that link to "Item:Q1318284"
From MaRDI portal
The following pages link to The formalization and analysis of a communications protocol (Q1318284):
Displaying 7 items.
- An algebraic verification of a mobile network (Q1205185) (← links)
- CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus (Q1325848) (← links)
- Specification and analysis of a composition of protocols (Q1801467) (← links)
- A new formal method for communication protocol specification (Q1823663) (← links)
- Automated Analysis of Discrete Communication Behavior (Q3761686) (← links)
- (Q4453049) (← links)
- Computer Aided Systems Theory – EUROCAST 2005 (Q5394433) (← links)