selected publications

• academic article

  • Application of a formal testing methodology to wireless telephony networks.  Journal of the Brazilian Computer Society.  10:56-72. 2004
  • Application of a formal testing methodology to wireless telephony networks.  Journal of the Brazilian Computer Society.  10:64-80. 2004