Analysing Safety-Critical Systems and Security Protocols with Abstract State Machines

Authors
Publication date
Publisher
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      University of Liverpool Repository

      redirect
      oaioai:livrepository.liverpool.ac...
      Last time updated on 16/10/2019