( en | de | ru )

 

  3. Alberto Lluch-Lafuente

Alberto Lluch-Lafuente

Directed search for the verification of communication protocols.
. University of Freiburg, Freiburg im Breisgau, Germany, (2003)
  •  :
  •  :
далее