인쇄
미지정
도서명 :
Performance Evaluati
on and Model Checking Join Forces: A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques
저 자 :
Baier, C.
청구기호 :
소장처 :
참고자료실(관광학관2층)
대출요구사항 :
출력