Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties

Authors
Publication date
1 January 2005
Publisher
IEEE Computer Society
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      PolyPublie

      redirect
      oaioai:publications.polymtl.ca:24...
      Last time updated on 28/08/2023