Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Gregorio Díaz
Map detail
Gregorio Díaz3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipGregorio DíazAGregorio DíazResearcherConformance Verification of Normative Specifications using C-O DiagramsWConformance Verificatio...preprint / 2012Timed Automata Semantics for Visual e-ContractsWTimed Automata Semantic...preprint / 2011
Person2 links

Gregorio Díaz

Researcher