본문

  1. Home
1 Results:PP:ASSOCIATION FOR COMPUTING MACHINERY PP:ASSOCIATION FOR COMPUTING MACHINERY AA:BAIER, C. 0.124 sec.
RSS 
Multilingual
 การค้นหาขั้นสูง
 เดินทางมาถึงค้นหาวัสดุใหม่
พิมพ์ที่เลือก Select Export to Excel
1
Performance Evaluation and Model Checking Join Forces: A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques
Performance Evaluation and Model Checking Join Forces: A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques
Baier, C., | Association for Computing Machinery | 2010 ,
처음1마지막