Cecilia E. Nugraheni

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005

1 EE Cecilia E. Nugraheni: Universal Properties Verification of Parameterized Parallel Systems. ICCSA (3) 2005: 453-462