[IEEE International Workshop on Numerica
โ
Sanghavi, J.; Tomacruz, E.; Sangiovanni-Vincentelli, A.
๐
Article
๐
1994
๐
IEEE
โ 285 KB