Ferman, Victor, Tecnológico de Monterrey, Escuela de Ingeniería y Ciencias, Mexico

• Vol 21, No 1 (2017): Thematic Issue: Topic Trends in Computing Research (Guest Editors: C.P. Ayala, S.N. González-Rocha) - Articles
  A Model Checker for the Verification of Browser Based Protocols
  Abstract  PDF