Sciweavers

7075 search results - page 91 / 1415
» Models and heterogeneous reasoning
Sort
View
AIIA
2007
Springer
15 years 5 months ago
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo...