External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 1

PDF

Bibliographies

    Researchr

    Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

    Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

    Sarir: A Rebeca to mCRL2 Translator

    Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote. Sarir: A Rebeca to mCRL2 Translator. In Twan Basten, Gabriel Juhás, Sandeep K. Shukla, editors, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. pages 216-222, IEEE Computer Society, 2007. [doi]

    Authors

    Hossein Hojjat

    This author has not been identified. Look up 'Hossein Hojjat' in Google

    Marjan Sirjani

    This author has not been identified. It may be one of the following persons: Look up 'Marjan Sirjani' in Google

    Mohammad Reza Mousavi

    This author has not been identified. Look up 'Mohammad Reza Mousavi' in Google

    Jan Friso Groote

    Identified as Jan Friso Groote
    runs on