Mexitl: Multimedia in Executable Interval Temporal Logic
Formal Methods in System Design
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
An Automata-Theoretic Completeness Proof for Interval Temporal Logic
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Compositional Reasoning Using Interval Temporal Logic and Tempura
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Reasoning Using the Assumption-Commitment Paradigm
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Algebraic and coalgebraic methods in the mathematics of program construction
A Complete Axiomatization of Interval Temporal Logic with Infinite Time
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
A Suite of Tools for Debugging Distributed Autonomous Systems
Formal Methods in System Design
Augmenting semantic web service descriptions with compositional specification
Proceedings of the 13th international conference on World Wide Web
A framed temporal logic programming language
Journal of Computer Science and Technology
Run-time analysis of time-critical systems
Journal of Systems Architecture: the EUROMICRO Journal
ASDL: a wide spectrum language for designing web services
Proceedings of the 15th international conference on World Wide Web
Framed temporal logic programming
Science of Computer Programming
Semantics of framed temporal logic programs
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Analysis and run-time verification of dynamic security policies
DAMAS'05 Proceedings of the 2005 international conference on Defence Applications of Multi-Agent Systems
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
A complete proof system for propositional projection temporal logic
Theoretical Computer Science
Hi-index | 0.00 |