Ko Kwang Il

List of publications from the DBLP Bibliography Server - FAQ

1996

1 EE Dang Van Hung, Ko Kwang Il: Verification via Digitized Models of Real-Time Hybrid Systems. APSEC 1996: 4-15

1996
1	EE	Dang Van Hung, Ko Kwang Il: Verification via Digitized Models of Real-Time Hybrid Systems. APSEC 1996: 4-15

Coauthor Index