Skip to Main content Skip to Navigation
Journal articles

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

Michael Blondin 1 Alain Finkel 2, 3 Jean Goubault-Larrecq 2
1 UdeS - Université de Sherbrooke
2 ENS Paris Saclay - Ecole Normale Supérieure Paris-Saclay
3 IUF - Institut Universitaire de France
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

Collections

ENS-CACHAN | ENS-PARIS-SACLAY

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

13

 

Contact                    Legal Notice                    Personal Data