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