skip to main content

Verification of systems and circuits using LOTOS, Petri Nets, and CCS : Wiley series on parallel and distributed computing

Michael Yoeli ; Rakefet Kol

Wiley-Interscience, 2008

Accessible en ligne

  • Titre:
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS : Wiley series on parallel and distributed computing
  • Auteur: Michael Yoeli
  • Autre(s) auteur(s): Rakefet Kol
  • Éditeur: Wiley-Interscience
  • Date de publication: 2008
  • Langue: Anglais
  • Identifiant: ISBN 0-471-70449-0 ;ISBN 0-470-25341-X ;ISBN 9786611284671 ;ISBN 1-281-28467-X ;ISBN 0-470-25339-8
  • Source: Mines ParisTech (ressources électroniques)
    PSL (ressources électroniques)
    Dauphine (ressources électroniques)
    ESPCI Paris (ressources électroniques)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré