Search results for: S. Stankovic
Computers and Electrical Engineering > 2005 > 31 > 3 > 203-216
Formal Methods in System Design > 2001 > 18 > 3 > 209-231
Computers and Electrical Engineering > 2005 > 31 > 3 > 203-216
Formal Methods in System Design > 2001 > 18 > 3 > 209-231