Model Checking in Rebeca.

Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali

Browse the full PDPTA paper archive.