Journal Articles
Logical Methods in Computer Science
Year : 2012
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03189994
Submitted on : Monday, April 5, 2021-6:19:22 PM
Last modification on : Wednesday, November 29, 2023-3:28:04 PM
Dates and versions
Identifiers
- HAL Id : hal-03189994 , version 1
- ARXIV : 1208.4549
- DOI : 10.2168/LMCS-8(3:28)2012
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⟩
Collections
24
View
0
Download