| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 106 | Herman Balsters |
Modelling Database Views with Derived Classes in the UML/OCL-Framework.  |
UML  |
2003 |
DBLP DOI BibTeX RDF |
|
| 101 | Manuel Clavel, Marina Egea |
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
| 101 | Luis Reynoso, Marcela Genero, Mario Piattini, M. Esperanza Manso |
Assessing the Impact of Coupling on the Understandability and Modifiability of OCL Expressions within UML/OCL Combined Models. |
IEEE METRICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 100 | Luis Reynoso, Marcela Genero, Mario Piattini, M. Esperanza Manso |
Does object coupling really affect the understanding and modifying of OCL expressions? |
SAC |
2006 |
DBLP DOI BibTeX RDF |
OCL expressions, UML/OCL models, object-oriented measures, coupling, controlled experiments, empirical validation, understandability, modifiability, structural properties |
| 90 | Alexandre L. Correa, Cláudia Maria Lima Werner |
Applying Refactoring Techniques to UML/OCL Models. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
| 76 | Achim D. Brucker, Burkhart Wolff |
HOL-OCL: A Formal Proof Environment for UML/OCL. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
holocl, ocl, Formal Method, Theorem Proving, uml |
| 70 | Luis Reynoso, Marcela Genero, Mario Piattini |
Using Verbal Protocols to Assess the Influence of Import-Coupling on the Comprehensibility of OCL Expressions. |
IEEE ICCI |
2007 |
DBLP DOI BibTeX RDF |
|
| 64 | John Mullins, Raveca Oarga |
Model Checking of Extended OCL Constraints on UML Models in SOCLe. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 60 | Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker |
Configuration Knowledge Representation Using UML/OCL. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
| 56 | Bernhard Beckert, Steffen Schlager |
Software Verification with Integrated Data Type Refinement for Integer Arithmetic. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
UML/OCL, Java, specification, Software verification, data refinement, integer arithmetic |
| 55 | Jordi Cabot, Robert Clarisó, Daniel Riera |
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
UML, MDD, constraint programming, OCL, model verification |
| 55 | Heinrich Hußmann, Birgit Demuth, Frank Finger |
Modular Architecture for a Toolset Supporting OCL. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
| 50 | Messaoud Abbas |
L'environnement FoCaLiZe au service d'UML/OCL. (The FoCaLiZe environment for UML/OCL service). |
|
2018 |
RDF |
|
| 50 | Frédéric Tuong |
Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages. (Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL). |
|
2016 |
RDF |
|
| 50 | Jérôme Cantenot |
Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes. (Strategy for test generation from UML/OCL models with a first order logic and constraints system solvers for model interpretation). |
|
2013 |
RDF |
|
| 50 | Imen Sayar |
D'Event-B vers UML/OCL en passant par UML/EM-OCL |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 50 | Elizabeta Fourneret |
Génération de tests à partir de modèle UML/OCL pour les systèmes critiques évolutifs. (Test Generation from UML/OCL Model for involving critical system). |
|
2012 |
RDF |
|
| 50 | Herman Balsters, George B. Huitema |
Semantics of Information Systems Outsourcing. |
OTM Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 49 | Liliana Favre |
Well-Founded Metamodeling for Model-Driven Architecture. |
SOFSEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 49 | Sergejus Sosunovas, Olegas Vasilecas |
Tool-Supported Method for the Extraction of OCL from ORM Models. |
BIS |
2007 |
DBLP DOI BibTeX RDF |
UML, metamodel, OCL, ORM |
| 45 | Achim D. Brucker, Burkhart Wolff |
HOL-OCL: Experiences, Consequences and Design Choices. |
UML |
2002 |
DBLP DOI BibTeX RDF |
refinement, OCL, formal semantics, constraint languages |
| 45 | Achim D. Brucker, Jürgen Doser, Burkhart Wolff |
A Model Transformation Semantics and Analysis Methodology for SecureUML. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
| 45 | Jeff Gray 0001, Stephen R. Schach |
Constraint animation using an object-oriented declarative language. |
ACM Southeast Regional Conference |
2000 |
DBLP DOI BibTeX RDF |
|
| 43 | Gregor Engels, Reiko Heckel, Stefan Sauer 0001 |
UML - A Universal Modeling Language? |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
UML, profile, statechart, object-oriented model, OCL, class diagram, interaction diagram |
| 41 | Mohamed Bouhdadi, Youssef Balouki, El maati Chabbar |
Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises. |
ICCSA (3) |
2007 |
DBLP DOI BibTeX RDF |
Enterprise Language, Structural Concepts, UML/OCL, Denotational Semantics, RM-ODP |
| 41 | Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente |
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. |
Data Knowl. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
| 41 | Mathias Soeken, Robert Wille, Rolf Drechsler |
Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 41 | Luis Reynoso, Marcela Genero, Mario Piattini |
Validating Metrics for OCL Expressions Expressed within UML/OCL models. |
Software Audit and Metrics |
2004 |
DBLP BibTeX RDF |
|
| 40 | Lina Nemuraite, Lina Ceponiene, Gediminas Vedrickas |
Representation of Business Rules in UML&OCL Models for Developing Information Systems. |
PoEM |
2008 |
DBLP DOI BibTeX RDF |
UML, constraint, invariant, event, OCL, Business rule, action, stereotype, condition |
| 35 | Anneke Kleppe |
Towards General Purpose, High Level, Software Languages. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
UML, design patterns, programming language, MDA, model transformations, domain specific languages, OCL, Modeling language |
| 35 | Anneke Kleppe, Jos Warmer |
Extending OCL to include Actions. |
UML |
2000 |
DBLP DOI BibTeX RDF |
UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions |
| 30 | Herman Balsters, Bert O. de Brock |
Integration of Integrity Constraints in Federated Schemata Based on Tight Constraining. |
CoopIS/DOA/ODBASE (1) |
2004 |
DBLP DOI BibTeX RDF |
|
| 30 | Herman Balsters, Bert O. de Brock |
An Object-Oriented Framework for Reconciliation and Extraction in Heterogeneous Data Federations. |
ADVIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 29 | Jordi Cabot, Antoni Olivé, Ernest Teniente |
Representing Temporal Information in UML. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
| 29 | Anneke Kleppe, Jos Warmer |
The Semantics of the OCL Action Clause. |
Object Modeling with the OCL |
2002 |
DBLP DOI BibTeX RDF |
action clause, UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions |
| 26 | Bernhard Beckert, Steffen Schlager |
Refinement and retrenchment for programming language data types. |
Formal Aspects Comput. |
2005 |
DBLP DOI BibTeX RDF |
Retrenchment refinement, UML/OCL, Java, Formal specification, Software verification, Integer arithmetic |
| 25 | Shan Lu 0012, Alexey Tazin, Yanji Chen, Mieczyslaw M. Kokar, Jeff Smith |
Ontology-based Detection of Inconsistencies in UML/OCL Models. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Juan Antonio Gómez-Gutiérrez, Robert Clarisó, Jordi Cabot |
A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams. |
BPMDS/EMMSAD@CAiSE |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Messaoud Abbas, Fatima Haloua, Ammar Boucherit |
Development of Critical Systems with UML/OCL and FoCaLiZe. |
MEDI Workshops |
2021 |
DBLP DOI BibTeX RDF |
|
| 25 | Nuno Amálio, Lionel C. Briand, Pierre Kelsen |
An experimental scrutiny of visual design modelling: VCL up against UML+OCL. |
Empir. Softw. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
| 25 | Frank Hilken, Lars Hamann |
History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany. |
J. Object Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
| 25 | Robert Clarisó, Carlos A. González, Jordi Cabot |
Incremental Verification of UML/OCL Models. |
J. Object Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
| 25 | Soumiya Ain El Hayat, Fouad Toufik, Mohamed Bahaj |
UML/OCL based design and the transition towards temporal object relational database with bitemporal data. |
J. King Saud Univ. Comput. Inf. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
| 25 | Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo |
Formalizing UML/OCL structural features with FoCaLiZe. |
Soft Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
| 25 | Frédéric Dadeau, Elizabeta Fourneret, Abir Bouchelaghem |
Temporal property patterns for model-based testing from UML/OCL. |
Softw. Syst. Model. |
2019 |
DBLP DOI BibTeX RDF |
|
| 25 | Robert Clarisó, Carlos A. González, Jordi Cabot |
Smart Bound Selection for the Verification of UML/OCL Class Diagrams. |
IEEE Trans. Software Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
| 25 | Beatriz Pérez 0001, Ivan Porres |
Reasoning about UML/OCL class diagrams using constraint logic programming and formula. |
Inf. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
| 25 | Fatma Abdelhédi, Amal Ait Brahim, Gilles Zurfluh |
Applying a Model-Driven Approach for UML/OCL Constraints: Application to NoSQL Databases. |
OTM Conferences |
2019 |
DBLP DOI BibTeX RDF |
|
| 25 | Nils Przigoda, Judith Przigoda, Robert Wille |
Four-Valued Logic in UML/OCL Models: A "Playground" for the MVL Community. |
ISMVL |
2019 |
DBLP DOI BibTeX RDF |
|
| 25 | Asadullah Shaikh, Uffe Kock Wiil |
Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams. |
IEEE Access |
2018 |
DBLP DOI BibTeX RDF |
|
| 25 | Nils Przigoda, Philipp Niemann 0001, Jonas Gomes Filho, Robert Wille, Rolf Drechsler |
Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements. |
Comput. Lang. Syst. Struct. |
2018 |
DBLP DOI BibTeX RDF |
|
| 25 | Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler |
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers |
|
2018 |
DOI RDF |
|
| 25 | Philipp Niemann 0001, Nils Przigoda, Robert Wille, Rolf Drechsler |
Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence. |
MODELSWARD |
2018 |
DBLP DOI BibTeX RDF |
|
| 25 | Xavier Oriol, Ernest Teniente |
Simplification of UML/OCL schemas for efficient reasoning. |
J. Syst. Softw. |
2017 |
DBLP DOI BibTeX RDF |
|
| 25 | Nils Przigoda, Philipp Niemann 0001, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler |
More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 25 | Xavier Oriol, Ernest Teniente |
OCLUNIV: Expressive UML/OCL Conceptual Schemas for Finite Reasoning. |
ER |
2017 |
DBLP DOI BibTeX RDF |
|
| 25 | Nils Przigoda |
SMT-based validation & verification of UML-OCL models. |
|
2017 |
RDF |
|
| 25 | Xavier Oriol |
Incremental checking and maintenance of UML/OCL integrity constraints. |
|
2017 |
RDF |
|
| 25 | Nils Przigoda, Robert Wille, Rolf Drechsler |
Analyzing Inconsistencies in UML/OCL Models. |
J. Circuits Syst. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
| 25 | Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler |
Verifying the structure and behavior in UML/OCL models using satisfiability solvers. |
IET Cyper-Phys. Syst.: Theory & Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
| 25 | Nils Przigoda, Jonas Gomes Filho, Philipp Niemann 0001, Robert Wille, Rolf Drechsler |
Frame conditions in symbolic representations of UML/OCL models. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 25 | Frank Hilken, Martin Gogolla |
Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping. |
DSD |
2016 |
DBLP DOI BibTeX RDF |
|
| 25 | Mohamed Abomhara, Mehdi Ben Lazreg |
UML/OCL-based modeling of work-based access control policies for collaborative healthcare systems. |
HealthCom |
2016 |
DBLP DOI BibTeX RDF |
|
| 25 | Frank Hilken, Philipp Niemann 0001, Martin Gogolla, Robert Wille |
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. |
Modellierung |
2016 |
DBLP BibTeX RDF |
|
| 25 | Robert Bill, Martin Gogolla, Manuel Wimmer |
On Leveraging UML/OCL for Model Synchronization. |
ME@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 25 | Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla |
Integrating UML/OCL Derived Properties into Validation and Verification Processes. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 25 | Guillem Rull, Carles Farré, Anna Queralt, Ernest Teniente, Toni Urpí |
AuRUS: explaining the validation of UML/OCL conceptual schemas. |
Softw. Syst. Model. |
2015 |
DBLP DOI BibTeX RDF |
|
| 25 | Xavier Oriol, Ernest Teniente, Albert Tort |
Computing repairs for constraint violations in UML/OCL conceptual schemas. |
Data Knowl. Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
| 25 | Frank Hilken, Philipp Niemann 0001, Martin Gogolla, Robert Wille |
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. |
ICMT |
2015 |
DBLP DOI BibTeX RDF |
|
| 25 | Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska 0001, Rolf Drechsler |
Checking concurrent behavior in UML/OCL models. |
MoDELS |
2015 |
DBLP DOI BibTeX RDF |
|
| 25 | Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler |
Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses. |
MoDeVVa@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 25 | Robert Clarisó, Carlos A. González, Jordi Cabot |
Towards Domain Refinement for UML/OCL Bounded Verification. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 25 | Jordi Cabot, Robert Clarisó, Daniel Riera |
On the verification of UML/OCL class diagrams using constraint programming. |
J. Syst. Softw. |
2014 |
DBLP DOI BibTeX RDF |
|
| 25 | Harith T. Al-Jumaily, Dolores Cuadra, Paloma Martínez |
Applying black-box testing to UML/OCL database models. |
Softw. Qual. J. |
2014 |
DBLP DOI BibTeX RDF |
|
| 25 | Asadullah Shaikh, Uffe Kock Wiil |
A feedback technique for unsatisfiable UML/OCL class diagrams. |
Softw. Pract. Exp. |
2014 |
DBLP DOI BibTeX RDF |
|
| 25 | Xavier Oriol, Ernest Teniente, Albert Tort |
Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas. |
ER |
2014 |
DBLP DOI BibTeX RDF |
|
| 25 | Elizabeta Fourneret, Jérôme Cantenot, Fabrice Bouquet, Bruno Legeard, Julien Botella |
SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models. |
SERE |
2014 |
DBLP DOI BibTeX RDF |
|
| 25 | Imen Sayar, Mohamed Tahar Bhiri |
From an abstract specification in event-b toward an UML/OCL model. |
FormaliSE |
2014 |
DBLP DOI BibTeX RDF |
|
| 25 | Julia Seiter 0002, Robert Wille, Mathias Soeken, Rolf Drechsler |
Determining relevant model elements for the verification of UML/OCL specifications. |
DATE |
2013 |
DBLP DOI BibTeX RDF |
|
| 25 | Shinji Kikuchi, Tetsuya Uchiumi, Shinya Kitajima, Yasuhide Matsumoto |
Configuration Policy Extraction for Parameter Settings in Cloud Infrastructure Using UML/OCL Verification. |
IEEE CLOUD |
2013 |
DBLP DOI BibTeX RDF |
|
| 25 | Valerio Cosentino, Salvador Martínez Perez |
Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 25 | Oliver Hofrichter, Martin Gogolla, Karsten Sohr |
UML/OCL based Design and Analysis of Role-Based Access Control Policies. |
GEMOC+AMINO@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 25 | Luis Reynoso, Marcelo Amaolo, Daniel Dolz, Claudio Vaucheret, Mabel Álvarez |
Increasing the Rigorousness of Measures Definition through a UML/OCL Model Based on the Briand et al.'s Framework. |
ICCSA (3) |
2013 |
DBLP DOI BibTeX RDF |
|
| 25 | Jácome Cunha, João Paulo Fernandes, João Saraiva |
From relational ClassSheets to UML+OCL. |
SAC |
2012 |
DBLP DOI BibTeX RDF |
|
| 25 | Robert Wille, Mathias Soeken, Rolf Drechsler |
Debugging of inconsistent UML/OCL models. |
DATE |
2012 |
DBLP DOI BibTeX RDF |
|
| 25 | Mathias Soeken, Robert Wille, Rolf Drechsler |
Eliminating invariants in UML/OCL models. |
DATE |
2012 |
DBLP DOI BibTeX RDF |
|
| 25 | Asadullah Shaikh, Uffe Kock Wiil |
UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing. |
SIGSOFT FSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 25 | Lars Hamann, Fabian Büttner, Mirco Kuhlmann, Martin Gogolla |
Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE. |
Modellierung |
2012 |
DBLP BibTeX RDF |
|
| 25 | Lars Hamann, Martin Gogolla, Daniel Honsel |
Towards supporting multiple execution environments for UML/OCL models at runtime. |
Models@run.time |
2012 |
DBLP DOI BibTeX RDF |
|
| 25 | Mirco Kuhlmann, Martin Gogolla |
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
| 25 | Kentaro Hanada, Kozo Okano, Shinji Kusumoto, Kiyoyuki Miyazawa |
Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation. |
ICEIS (2) |
2012 |
DBLP BibTeX RDF |
|
| 25 | Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon |
Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams. |
Adv. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 25 | Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand |
Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. |
Int. J. Softw. Tools Technol. Transf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 25 | Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté |
UML/OCL and Refinement. |
ECBS |
2011 |
DBLP DOI BibTeX RDF |
Mathematics extension, Global invariant, Local invariant, Refinement, Genericity, Inheritance, OCL, Class Library |
| 25 | Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha |
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 25 | Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara |
A UML/OCL framework for the analysis of graph transformation rules. |
Softw. Syst. Model. |
2010 |
DBLP DOI BibTeX RDF |
|
| 25 | Wolfgang Herzner, Rupert Schlick, Werner Schütz, Harald Brandl, Willibald Krenn |
Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems. |
Elektrotech. Informationstechnik |
2010 |
DBLP DOI BibTeX RDF |
|
| 25 | Jordi Cabot, Raquel Pau, Ruth Raventós |
From UML/OCL to SBVR specifications: A challenging transformation. |
Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 25 | Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler |
Verifying UML/OCL models using Boolean satisfiability. |
DATE |
2010 |
DBLP DOI BibTeX RDF |
|
| 25 | Anna Queralt, Guillem Rull, Ernest Teniente, Carles Farré, Toni Urpí |
AuRUS: Automated Reasoning on UML/OCL Schemas. |
ER |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license