Search results

Articles (2)

Journals (0)

1-2 of 2 results for mCRL2

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2011-2

Formal Analysis of SystemC Designs in Process Algebra

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani

Fundamenta Informaticae

Retricted access

Research article

First published 2020

Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh

Fundamenta Informaticae