Formal Techniques for Networked and Distributed Systems - FORTE 2006
Formal Techniques for Networked and Distributed Systems - FORTE 20062006
Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge
Details
- First published
- 2006
- OL Work ID
- OL27069205W
Subjects
Electronic data processing, distributed processingComputer network protocols