Pradat-Peyre, Jean-François. (Nombre personal)

Machine generated authority record.

Work cat.: (MX-SnUAN)296912: Najm, Elie. editor. 332305, Formal Techniques for Networked and Distributed Systems - FORTE 2006 :