Improved bounded model checking for the universal fragment of CTL
Journal of Computer Science and Technology
CTL model update for system modifications
Journal of Artificial Intelligence Research
On the distributivity of LTL specifications
ACM Transactions on Computational Logic (TOCL)
Foundations of Tree-like Local Model Updates
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
ACTL local model update with constraints
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part IV
Automated support for building behavioral models of event-driven systems
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |