Journal Paper

1. "Model Checking CSMA / CD Protocol using an Actor - Based Language"
   Marjan Sirjani, Mohammad Mahdi Jaghoori , Sara Forghanizadeh , Mona Mojdeh , Ali Movaghar , Hasan Seyed Razi
   WSEAS Transactions on Circuits and Systems, Vol. -, 2004