WebMC for Browser Based Protocol Verification

@article{pub9069,
    author = {

Ferman, Victor
 and 

Hutter, Dieter
 and 

Monroy, Raul
},
    editor = {

Sidorov, Grigori
 and 

Cortés, Ulises
},
    title = {WebMC for Browser Based Protocol Verification},
    year = {2017},
    month = {4},
    volume = {21},
    number = {1},
    pages = {101--114},
    journal = {Computación y Sistemas},
    publisher = {Instituto Politécnico Nacional, Mexico}
}