![]() | ![]() |
| 2009 | ||
|---|---|---|
| 2 | Joël-Alexis Bialkiewicz, Frédéric Peschanski: A Denotational Study of Mobility. CPA 2009: 239-261 | |
| 1 | Frédéric Peschanski, Joël-Alexis Bialkiewicz: Modelling and Verifying Mobile Systems Using pi-Graphs. SOFSEM 2009: 437-448 | |
| 1 | Frédéric Peschanski | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page