research

Decidability of model checking multi-agent systems against a class of EHS specifications

Authors
Publication date
1 January 2014
Publisher
'IOS Press'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Supporting member

      Spiral - Imperial College Digital Repository

      redirect
      oaioai:spiral.imperial.ac.uk:1004...
      Last time updated on 17/02/2017