Forward Analysis for WSTS, Part III: Karp-Miller Trees - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Logical Methods in Computer Science Year : 2020
No file

Dates and versions

hal-03216116 , version 1 (03-05-2021)

Identifiers

  • HAL Id : hal-03216116 , version 1

Cite

Michael Blondin, Alain Finkel, Jean Goubault-Larrecq. Forward Analysis for WSTS, Part III: Karp-Miller Trees. Logical Methods in Computer Science, 2020, 16 (2). ⟨hal-03216116⟩
20 View
0 Download

Share

Gmail Facebook X LinkedIn More