Bernhard K. Aichernig

机  构:  Graz Univ. of Technol., Graz
领  域:  分布式与并行计算, 算法与理论, 软件工程

论文统计图
引用最多的论文 更多>>
International Conference on Quality Software  2005
52次引用 0 0
IEEE Software  2000
19次引用 0 0
Formal Aspects of Computing  2003
18次引用 0 0
World Congress on Formal Methods  1997
14次引用 0 0
International Conference on Quality Software  2010
12次引用 0 0
最新的论文 更多>>
Tests and Proofs  2013
0次引用 0 0
Tests and Proofs  2013
0次引用 0 0
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday  2013
0次引用 0 0
Brazilian Symposium on Programming Languages  2012
0次引用 0 0
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012.  2012
0次引用 0 0
Feedback
Feedback
Feedback
我想反馈:
排行榜