![](/img/cover-not-exists.png)
Well-abstracted transition systems: application to FIFO automata
Alain Finkel, S. Purushothaman Iyer, Grégoire SutreVolume:
181
Year:
2003
Language:
english
Pages:
31
DOI:
10.1016/s0890-5401(02)00027-5
File:
PDF, 313 KB
english, 2003