Skip to Main content Skip to Navigation
Book sections

Forward Analysis for WSTS, Part II: Complete WSTS

Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/hal-03195656
Contributor : Jean Goubault-Larrecq <>
Submitted on : Monday, April 12, 2021 - 7:45:36 AM
Last modification on : Sunday, May 2, 2021 - 3:27:48 AM

Links full text

Identifiers

Citation

Alain Finkel, Jean Goubault-Larrecq. Forward Analysis for WSTS, Part II: Complete WSTS. Proceedings of the 36th International Colloquium on Automata, Languages and Programming (ICALP'09), volume 5556 of Lecture Notes in Computer Science, Rhodes, Greece, July 2009. Springer., pp.188-199, 2009, ⟨10.1007/978-3-642-02930-1_16⟩. ⟨hal-03195656⟩

Share

Metrics

Record views

20