CCS '94 Proceedings of the 2nd ACM Conference on Computer and communications security
A formal approach to determining parallel resource bindings: experience report
ICSE '94 Proceedings of the 16th international conference on Software engineering
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols
IEEE Transactions on Software Engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Temporal Logic & Historical Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
First order heterogeneous agent computations
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A resolution method for temporal logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Hi-index | 0.00 |