Equivalence-checking on infinite-state systems: Techniques and results
KUCERA, ANTONÍN, JANCAR, PETRVolume:
6
Language:
english
Journal:
Theory and Practice of Logic Programming
DOI:
10.1017/s1471068406002651
Date:
May, 2006
File:
PDF, 339 KB
english, 2006