Additional Metadata
THEME Software (theme 1)
Publisher ACM
Editor H. Haddad
Conference Annual ACM Symposium on Applied Computing
Citation
Jaghouri, M.M, Movaghar, A, & Sirjani, M. (2006). Modere: the model-checking engine of Rebeca. In H Haddad (Ed.), Proceedings of the Annual ACM Symposium on Applied Computing (pp. 1810–1815). ACM.