Forward Analysis for WSTS, Part II: Complete WSTS - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2009

Forward Analysis for WSTS, Part II: Complete WSTS

Dates and versions

hal-03195656 , version 1 (12-04-2021)

Identifiers

Cite

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⟩
11 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More