Joël-Alexis Bialkiewicz

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Joël-Alexis Bialkiewicz, Frédéric Peschanski
A Denotational Study of Mobility. CPA (2009)
Frédéric Peschanski, Joël-Alexis Bialkiewicz
Modelling and Verifying Mobile Systems Using pi-Graphs. SOFSEM (2009)