author = { Filou, Vincent Bordeaux 1 AND Castéran, Pierre AND Mosbah, Mohamed },

title = { Une étude formelle de la théorie des calculs locaux à l'aide de l'assistant de preuve Coq },

keywords = { Coq , Proof assistant , Calculs locaux , Algorithmique distribuée , Distributed Algorithms , Local Computations , Assistants de preuves },

year = {2012-12-21},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }