APA
                    Elie Najm J. P. V. V. D., . (2006). Formal Techniques for Networked and Distributed Systems - FORTE 2006. Germany: Springer.
                
                    Chicago
                    Elie Najm Jean-François Pradat-Peyre Véronique Viguié Donzeau-Gouge, . 2006. Formal Techniques for Networked and Distributed Systems - FORTE 2006. Germany: Springer.
                
                    Harvard
                    Elie Najm J. P. V. V. D., . (2006). Formal Techniques for Networked and Distributed Systems - FORTE 2006. Germany: Springer.
                
                    MLA
                    Elie Najm Jean-François Pradat-Peyre Véronique Viguié Donzeau-Gouge, . Formal Techniques for Networked and Distributed Systems - FORTE 2006. Germany: Springer. 2006.