dblp.uni-trier.dewww.uni-trier.de

Manuel Aguilar Cornejo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
2EEJosé L. Quiroz-Fabian, Manuel Aguilar Cornejo, Graciela Román-Alonso, Miguel A. Castro-García: Model Checking for Integrating Dynamic Load Distribution into Parallel Applications. ENC 2008: 221-231
2001
1 Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De Palma: Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. DAIS 2001: 229-244

Coauthor Index

1Miguel A. Castro-García [2]
2Hubert Garavel [1]
3Radu Mateescu [1]
4Noel De Palma [1]
5José L. Quiroz-Fabian [2]
6Graciela Román-Alonso [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)