Search results
IEEE Transactions on Parallel and Distributed Systems > 2010 > 21 > 10 > 1387 - 1397
2009 Formal Methods in Computer-Aided Design > 184 - 187
IEEE Transactions on Parallel and Distributed Systems > 2010 > 21 > 10 > 1387 - 1397
2009 Formal Methods in Computer-Aided Design > 184 - 187