[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems - FORTE 2006 Volume 4229 ||
Najm, Elie, Pradat-Peyre, Jean-François, Donzeau-Gouge, Véronique ViguiéVolume:
10.1007/11
Year:
2006
Language:
english
DOI:
10.1007/11888116
File:
PDF, 5.66 MB
english, 2006