ScholarIQanswers from OpenAlex
Verification of Sequential and Concurrent Programs
PaperCitations, authors & open-access status
Verification of Sequential and Concurrent Programs is a paper indexed in ScholarIQ from OpenAlex.
How many citations does Verification of Sequential and Concurrent Programs have?
ScholarIQcitation count
Verification of Sequential and Concurrent Programs has 197 citations in the OpenAlex counts ScholarIQ stores.
When was Verification of Sequential and Concurrent Programs published?
ScholarIQyear
Verification of Sequential and Concurrent Programs has 2009 year in the ScholarIQ index.
What is the open-access status of Verification of Sequential and Concurrent Programs?
ScholarIQoa status
Verification of Sequential and Concurrent Programs has green oa status in the ScholarIQ index.
What is the DOI of Verification of Sequential and Concurrent Programs?
ScholarIQdoi
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?
ScholarIQopenalex
The OpenAlex for Verification of Sequential and Concurrent Programs is on the source record.