[Jonsson and Nilsson, 2000]

|
Bengt Jonsson and Marcus Nilsson (2000). Transitive Closures of Regular Relations for Verifying Infinite-State Systems.. In: Proc. TACAS '00-6th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems. pp. 220--234. |