Search results for: J. Chen
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 219-232
IEEE Transactions on Magnetics > 2010 > 46 > 5 > 1155 - 1158
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 219-232
IEEE Transactions on Magnetics > 2010 > 46 > 5 > 1155 - 1158