Top Related
TD Radio E. Baklouti : [email protected]@univ-montp3.fr C. Capelle: [email protected]@univ-montp3.fr.
1 Kobe Univ., 2 JAMSTEC, 3 Flinders Univ.,
Daniel Deutch Tel Aviv Univ. Tova Milo Tel Aviv Univ. Sudeepa Roy Univ. of Washington Val Tannen Univ. of Pennsylvania.
PROFESSOR PETRU MUNTEANU – PRESELECTION JURY · 2018-07-16 · Munteanu has lived in Germany since 1970. Petru Mun-teanu studied with George Manoliu and completed mas-ter classes
Model Checking and Performance Evaluation with CADP ... · PDF fileRadu Mateescu, Wendelin Serwe To cite this version: Radu Mateescu, Wendelin Serwe. Model Checking and Performance
Ron Brown, Northeastern Univ. Catherine Manly, Univ. … Brown, Northeastern Univ. Catherine Manly, Univ. of MA, Amherst Lutheria N. Peters, George Mason Univ. Raja Tayeh, Doane College
J. Yamagata (Nara Women’s Univ.) H. Nagahiro (RCNP, Osaka Univ.)
Bucktown UNIV