Chaiwat Sathawornwichit

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

1 Chaiwat Sathawornwichit, Takuya Katayama: A Parametric Model Checking Approach for Real-Time Systems Design. APSEC 2005: 584-594

	2005
1		Chaiwat Sathawornwichit, Takuya Katayama: A Parametric Model Checking Approach for Real-Time Systems Design. APSEC 2005: 584-594

Coauthor Index