By Gordon Michael   Kaufmann Matt   Ray Sandip   in Journal of Automated Reasoning

ISSN:0168-7433|47|1|1-16

Springer Publishing Company ‎(2011)‎

Access to resources Favorite 10.550226

By Ray Sandip   Bhadra Jay   Abadir Magdy   Wang Li-C   in Journal of Electronic Testing

ISSN:0923-8174|29|5|621-623

Springer Publishing Company ‎(2013)‎

Access to resources Favorite 8.791855