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
ISSN: 2007-9737