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

Forward Analysis for WSTS, Part I: Completions

No file

Dates and versions

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

Identifiers

  • HAL Id : hal-03195833 , version 1

Cite

Alain Finkel, Jean Goubault-Larrecq. Forward Analysis for WSTS, Part I: Completions. Leibniz-Zentrum für Informatik. Proceedings of the 26th Annual Symposium on Theoretical Aspects of Computer Science (STACS'09), volume 3 of Leibniz International Proceedings in Informatics, Freiburg, Germany., pp.433-444, 2009. ⟨hal-03195833⟩
10 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More