Norzima Elbegbayan

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Antonio Cerone, Norzima Elbegbayan
Model-checking Driven Design of Interactive Systems. Electron. Notes Theor. Comput. Sci. 183 (2007)