Normal view
MARC view
- Pradat-Peyre, Jean-Francois
Pradat-Peyre, Jean-Francois (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Najm, Elie. 325647, Formal Techniques for Networked and Distributed Systems - FORTE 2006, 2006