Pages that link to "Item:Q3651241"
From MaRDI portal
The following pages link to Modelling Mobile IP with Mobile Petri Nets (Q3651241):
Displaying 5 items.
- A UTP approach for rTiMo (Q1624596) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- UTP Semantics for rTiMo (Q2971181) (← links)
- Mobile Petri nets (Q3655764) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479155) (← links)