An efficient representation for formal synthesis
ISSS '97 Proceedings of the 10th international symposium on System synthesis
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Model-theoretic semantics for the web
WWW '03 Proceedings of the 12th international conference on World Wide Web
Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis
Proceedings of the 41st annual Design Automation Conference
A normal form which preserves tautologies and contradictions in a class of fuzzy logics
Journal of Algorithms
Propositional Logic as a Propositional Fuzzy Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |