PICO Portalanswers from OpenAlex
Formalizing UML Models and OCL Constraints in PVS
PaperCitations, authors & open-access status
Formalizing UML Models and OCL Constraints in PVS is a paper indexed in PICO Portal from OpenAlex.
How many citations does Formalizing UML Models and OCL Constraints in PVS have?
PICO Portalcitation count
Formalizing UML Models and OCL Constraints in PVS has 89 citations in the OpenAlex counts PICO Portal stores.
When was Formalizing UML Models and OCL Constraints in PVS published?
PICO Portalyear
Formalizing UML Models and OCL Constraints in PVS has 2005 year in the PICO Portal index.
What is the open-access status of Formalizing UML Models and OCL Constraints in PVS?
PICO Portaloa status
Formalizing UML Models and OCL Constraints in PVS has diamond oa status in the PICO Portal index.
What is the DOI of Formalizing UML Models and OCL Constraints in PVS?
PICO Portaldoi
The DOI for Formalizing UML Models and OCL Constraints in PVS is on the source record.
What is the OpenAlex record for Formalizing UML Models and OCL Constraints in PVS?
PICO Portalopenalex
The OpenAlex for Formalizing UML Models and OCL Constraints in PVS is on the source record.