Skip to Main content Skip to Navigation
Journal articles

Forward Analysis for WSTS, Part III: Karp-Miller Trees

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-03216116
Contributor : Jean Goubault-Larrecq <>
Submitted on : Monday, May 3, 2021 - 5:36:17 PM
Last modification on : Wednesday, May 5, 2021 - 3:39:20 AM

Identifiers

  • HAL Id : hal-03216116, version 1

Citation

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

Share

Metrics

Record views

13