Skip to content
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.

Related on PICO Portal

470M+ articles · 14-day free trial