h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Ghassemi, Fatemeh
%A Zhiany, Saeed
%A Abbasi, Nesa
%A Hodaei, Ali
%A Ataollahi, Ali
%A Kovacs, Jozsef
%A Ábrahám, Erika
%A Sirjani, Marjan
%T Reachability analysis of Hybrid Rebeca models
%J Journal of systems architecture : JSA
%V 167
%@ 1873-6165
%C Amsterdam
%I Elsevier
%M RWTH-2025-06753
%P 103493
%D 2025
%F PUB:(DE-HGF)16 ; PUB:(DE-HGF)7
%9 Journal ArticleContribution to a book
%U <Go to ISI:>//WOS:001538803200001
%R 10.1016/j.sysarc.2025.103493
%U https://publications.rwth-aachen.de/record/1016118