Well-structured transition systems everywhere!
A. Finkel, Ph. SchnoebelenVolume:
256
Year:
2001
Language:
english
Pages:
30
DOI:
10.1016/s0304-3975(00)00102-x
File:
PDF, 277 KB
english, 2001