PICO Portalanswers from OpenAlex
Verification of Sequential and Concurrent Programs
PaperCitations, authors & open-access status
Verification of Sequential and Concurrent Programs is a paper indexed in PICO Portal from OpenAlex.
How many citations does Verification of Sequential and Concurrent Programs have?
PICO Portalcitation count
Verification of Sequential and Concurrent Programs has 197 citations in the OpenAlex counts PICO Portal stores.
When was Verification of Sequential and Concurrent Programs published?
PICO Portalyear
Verification of Sequential and Concurrent Programs has 2009 year in the PICO Portal index.
What is the open-access status of Verification of Sequential and Concurrent Programs?
PICO Portaloa status
Verification of Sequential and Concurrent Programs has green oa status in the PICO Portal index.
What is the DOI of Verification of Sequential and Concurrent Programs?
PICO Portaldoi
The DOI for Verification of Sequential and Concurrent Programs is on the source record.
What is the OpenAlex record for Verification of Sequential and Concurrent Programs?
PICO Portalopenalex
The OpenAlex for Verification of Sequential and Concurrent Programs is on the source record.