skip to main content

Automatic Verification of Sequential Infinite-State Processes

Olaf Burkart

Springer Berlin / Heidelberg, 1997

Accessible en ligne

  • Titre:
    Automatic Verification of Sequential Infinite-State Processes
  • Auteur: Olaf Burkart
  • Éditeur: Springer Berlin / Heidelberg
  • Date de publication: 1997
  • Langue: Anglais
  • Identifiant: ISBN 3-540-63982-9 ;ISBN 3-540-69678-4
  • Source: ESPCI Paris (ressources électroniques)
    Mines ParisTech (ressources électroniques)
    Collège de France (ressources électroniques)
    Dauphine (ressources électroniques)
    Observatoire de 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é