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)
    Collège de France (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é