A modal logic based approach to schema integration
CompSysTech '03 Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning
A transition logic for schemata conflicts
Data & Knowledge Engineering
Schema integration framed in modal logic
CompSysTech '04 Proceedings of the 5th international conference on Computer systems and technologies
A Gentle Introduction to System Verification
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
A framework for determining design correctness
Knowledge-Based Systems
| Hi-index | 0.00 |