Published in

Computación y Sistemas, 1(21)

DOI: 10.13053/cys-21-1-2483

Links

Tools

Export citation

Search in Google Scholar

A Model Checker for the Verification of Browser Based Protocols

Journal article published in 2017 by Victor Ferman, Raúl Monroy ORCID, Dieter Hutter
This paper was not found in any repository; the policy of its publisher is unknown or unclear.
This paper was not found in any repository; the policy of its publisher is unknown or unclear.

Full text: Unavailable

Question mark in circle
Preprint: policy unknown
Upload
Question mark in circle
Postprint: policy unknown
Upload
Question mark in circle
Published version: policy unknown
Upload