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.
How many citations does Modeling and Verification of Reactive Systems using Rebeca have?
ScholarIQcitation count
Modeling and Verification of Reactive Systems using Rebeca has 161 citations in the OpenAlex counts ScholarIQ stores.
When was Modeling and Verification of Reactive Systems using Rebeca published?
ScholarIQyear
Modeling and Verification of Reactive Systems using Rebeca has 2004 year in the ScholarIQ index.
What is the open-access status of Modeling and Verification of Reactive Systems using Rebeca?
ScholarIQoa status
Modeling and Verification of Reactive Systems using Rebeca has closed oa status in the ScholarIQ index.
What is the DOI of Modeling and Verification of Reactive Systems using Rebeca?
ScholarIQdoi
The DOI for Modeling and Verification of Reactive Systems using Rebeca is on the source record.
What is the OpenAlex record for Modeling and Verification of Reactive Systems using Rebeca?
ScholarIQopenalex
The OpenAlex for Modeling and Verification of Reactive Systems using Rebeca is on the source record.