Article Dans Une Revue Information and Computation Année : 2018

Handling infinitely branching well-structured transition systems

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⟩
80 Consultations
0 Téléchargements

Altmetric

Partager

  • More