1. ScholarBank@NUS

Santosa,Andrew Edward

rp04141

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Santosa,Andrew Edward
(not current staff)
Variants
Santosa, A.E.
Santosa, A.
Santosa, Andrew E.
 
Main Affiliation
 
Faculty
 
Email
dcsaes@nus.edu.sg
 

Publications

Refined By:
Author:  Voicu, R.
Author:  Jaffar, J.
Date Issued:  2004

Results 1-1 of 1 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)
12004A CLP proof method for timed automataJaffar, J. ; Santosa, A. ; Voicu, R.