![](/img/cover-not-exists.png)
A symbolic manipulator for automated verification of reactive systems with heterogeneous data types
Tuba Yavuz-Kahveci, Tevfik BultanVolume:
5
Language:
english
Pages:
19
DOI:
10.1007/s10009-002-0091-4
Date:
November, 2003
File:
PDF, 404 KB
english, 2003