48 citations · 207 across the 23 of their papers we have counts for
1 paper · 2 filters
Michael Blondin, Alain Finkel, Jean Goubault-Larrecq
This paper is a sequel of "Forward Analysis for WSTS, Part I: Completions" [STACS 2009, LZI Intl. Proc. in Informatics 3, 433-444] and "Forward Analysis for WSTS, Part II: Complete…