Hutter, Dieter, German Research Center for Artificial Intelligence, Germany
-
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