![](/img/cover-not-exists.png)
Automatic generation of symbolic model for parameterized synchronous systems
Wei-Wen XuVolume:
19
Language:
english
Pages:
8
DOI:
10.1007/bf02973444
Date:
December, 2004
File:
PDF, 777 KB
english, 2004