CIC-01:vasco-31

S. Boulmé, G. Hamon. Certifying synchrony for free. In Logic for Programming and Reasonning, LPAR'01, Pages 495-506, 2001.

Contact

Sylvain Boulmé

Référence BibTex

@InProceedings{CIC-01:vasco-31,
   Author = {Boulmé, S. and Hamon, G.},
   Title = {{Certifying synchrony for free}},
   BookTitle = {{Logic for Programming and Reasonning, LPAR'01}},
   Pages = {495--506},
   Publisher = {{LNAI 2250}},
   Year = {2001}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)