PICO Portalanswers 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 PICO Portal from OpenAlex.
How many citations does Modeling and Verification of Reactive Systems using Rebeca have?
PICO Portalcitation count
Modeling and Verification of Reactive Systems using Rebeca has 161 citations in the OpenAlex counts PICO Portal stores.
When was Modeling and Verification of Reactive Systems using Rebeca published?
PICO Portalyear
Modeling and Verification of Reactive Systems using Rebeca has 2004 year in the PICO Portal index.
What is the open-access status of Modeling and Verification of Reactive Systems using Rebeca?
PICO Portaloa status
Modeling and Verification of Reactive Systems using Rebeca has closed oa status in the PICO Portal index.
What is the DOI of Modeling and Verification of Reactive Systems using Rebeca?
PICO Portaldoi
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?
PICO Portalopenalex
The OpenAlex for Modeling and Verification of Reactive Systems using Rebeca is on the source record.