Handling infinitely branching well-structured transition systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information and Computation Année : 2018

Handling infinitely branching well-structured transition systems

Alain Finkel
Michael Blondin
  • Fonction : Auteur
Pierre Mckenzie
  • Fonction : Auteur

Dates et versions

hal-03415332 , version 1 (04-11-2021)

Identifiants

Citer

Alain Finkel, Michael Blondin, Pierre Mckenzie. Handling infinitely branching well-structured transition systems. Information and Computation, 2018, 258, pp.28-49. ⟨10.1016/j.ic.2017.11.001⟩. ⟨hal-03415332⟩
18 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More