Forward Analysis for WSTS, Part II: Complete WSTS - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Logical Methods in Computer Science Année : 2012

Forward Analysis for WSTS, Part II: Complete WSTS

Dates et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More