Joël-Alexis Bialkiewicz

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page