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

Amin Shali
Department of Electrical and Computer Engineering, University of Tehran, 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