Program Behavior Discovery and Verification: A Graph Grammar

机译：程序行为发现和验证：一种图形语法方法

机译：使用图文法验证指针程序

机译：程序升温气相色谱中的保留时间预测：关于化合物行为假说的实验验证

机译：通过从执行迹线推断图形语法来发现程序的行为模式

机译：通过图文法和动态编程对实时条件代码进行显式抢占式放置

机译：通过使用iTRAQ标记多维液相色谱和串联质谱的蛋白质差异表达分析发现和验证头颈癌生物标志物

机译：通过执行迹线推断图语法来发现程序的行为模式

机译：增长监测和促进：行为问题。儿童生存计划中的行为问题：第六号专着

机译：行为综​​合验证辅助设备，行为综合验证辅助方法，程序和记录介质

机译：提供地理发现游戏的方法，提供地理发现游戏的程序以及配备有提供地理发现游戏的程序的设备

机译：行为证书的发行方法，行为证书的发行装置，行为证书的发行程序以及行为证书的发行和验证系统