157
Voted
GLVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...