Search results for: Kenneth S Stevens
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Sytems — FORTE 2002 > 34-49
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2011 > 30 > 9 > 1387 - 1399