×
2001
A Library for Composite Symbolic Representations.
[DOI]
Tuba Yavuz-Kahveci
,
Murat Tuncer
,
Tevfik Bultan
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001