Diseño y análisis formal de sistemas de software
FADOSS
Nokia Foundation
Espoo, FinlandiaNokia Foundation-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
1993
-
Planning national telecommunication networks
Electrical Communication, pp. 188-194