Browsing DSpace | ScholarBank@NUS

Browsing by Author Andre, E.

Showing results 1 to 4 of 4

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

Issue Date	Title	Author(s)
2013	Dynamic synthesis of local time requirement for service composition	Tan, T.H.; Andre, E.; Sun, J.; Liu, Y.; Dong, J.S. ; Chen, M.
2014	Learning assumptions for compositionalverification of timed systems	Lin, S.-W. ; Andre, E.; Liu, Y.; Sun, J.; Dong, J.S.
2006	MR spectroscopy in sinus mucocele: N-acetyl mimics of brain N-acetylaspartate	Andre, E.; Xu, M.; Lim, C.C.T. ; Yang, D. ; Xu, Y.; Siow, J.K.; Yeo, T.T.
2012	Parameter synthesis for hierarchical concurrent real-time systems	Andre, E.; Liu, Y. ; Sun, J.; Dong, J.-S.

Showing results 1 to 4 of 4