Skip to Main content Skip to Navigation
New interface
Journal articles

Handling infinitely branching well-structured transition systems

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-03415332
Contributor : Alain FINKEL Connect in order to contact the contributor
Submitted on : Thursday, November 4, 2021 - 7:30:40 PM
Last modification on : Friday, August 5, 2022 - 2:58:08 PM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

12