Forward Analysis for WSTS, Part II: Complete WSTS - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Logical Methods in Computer Science Year : 2012

Forward Analysis for WSTS, Part II: Complete WSTS

Dates and versions

hal-03189994 , version 1 (05-04-2021)

Identifiers

Cite

Alain Finkel, Jean Goubault-Larrecq. Forward Analysis for WSTS, Part II: Complete WSTS. Logical Methods in Computer Science, 2012, 8 (3), ⟨10.2168/LMCS-8(3:28)2012⟩. ⟨hal-03189994⟩
24 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More