Model Checking of Time Petri Nets

Authors
Publication date
1 January 2007
Publisher
'IntechOpen'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      PolyPublie

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

      PolyPublie

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

      IntechOpen

      redirect
      oaioai:intechopen.com:716
      Last time updated on 07/05/2020

      Crossref

      redirect
      Last time updated on 20/07/2021