Skip to Main content Skip to Navigation
Book sections

Forward Analysis for WSTS, Part I: Completions

Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/hal-03195833
Contributor : Jean Goubault-Larrecq <>
Submitted on : Monday, April 12, 2021 - 10:50:56 AM
Last modification on : Sunday, May 2, 2021 - 3:27:45 AM

Identifiers

  • HAL Id : hal-03195833, version 1

Citation

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⟩

Share

Metrics

Record views

6