Modere: the model-checking engine of Rebeca

2006

Presented at the Annual ACM Symposium on Applied Computing , Dijon, France

Additional Metadata
THEME	Software (theme 1)
Publisher	ACM
Editor	H. Haddad
Conference	Annual ACM Symposium on Applied Computing
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Jaghoori, 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.

See Also
inProceedings SEPID: A Simple Enhanced Process for Interactive-systems Development M.M. Jaghoori (Mohammad Mahdi), S.-H. Mirian-Hosseinabadi and H. Sheikhveisi
inProceedings SEPID: A Simple Enhanced Process for Interactive-systems Development M.M. Jaghoori (Mohammad Mahdi), S.-H. Mirian-Hosseinabadi and H. Sheikhveisi

Publication