Go home now Header Background Image
Submission Procedure
share: |
Follow us

Ali Movaghar
Department of Electrical and Computer Engineering, University of Tehran and School of Computer Science, IPM, Iran

M. Sirjani, A. Movaghar, A. Shali, F. S. de Boer:
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models
page 1054 - 1082
Vol.11 / Issue 6
M. Sirjani, F.S. de Boer, A. Movaghar:
Modular Verification of a Component-Based Actor Language
page 1695 - 1717
Vol.11 / Issue 10