LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Research » Publications
Books
Edited books
Journal articles
Book chapters
Conference papers
Other publications
Habilitations
Thesis

Modélisation du protocole PGM et de certaines de ses propriétés en UPPAAL

Type : Report

Year : 2001

Type : Contract Report

Publisher : projet RNRT Calife

Number : 4.4

Date : "nov"

Authors : Bérard, Béatrice Bouyer, Patricia Petit, Antoine

 Mentions légales
Site map |