Upload Records Snowball Search Search OpenAlex
About the database ScholarIQanswers from OpenAlex
Modeling and Verification of Reactive Systems using Rebeca
PaperCitations, authors & open-access status
Modeling and Verification of Reactive Systems using Rebeca is a paper indexed in ScholarIQ from OpenAlex. ScholarIQ records 161 citations, 2004 year and closed oa status.
161
Citations
2004
Year
closed
OA Status