
Formal Methods for Embedded Distributed Systems ||
Kordon, Fabrice, Lemoine, MichelVolume:
10.1007/b1
Année:
2004
Langue:
english
DOI:
10.1007/b116264
Fichier:
PDF, 2.12 MB
english, 2004