Search results for: G. Denker
Lecture Notes in Computer Science > KORSO: Methods, Languages, and Tools for the Construction of Correct Software > 205-220
Current Atherosclerosis Reports > 2015 > 17 > 10 > 1-7
IEEE Wireless Communications > 2007 > 14 > 4 > 41 - 46
Electronic Notes in Theoretical Computer Science > 2000 > 36 > Complete > 405-425