Formal methods for broadband and multimedia systems (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Design and analysis of dynamic leader election protocols in broadcast networks
Distributed Computing
Causal temporal constraint networks for representing temporal knowledge
Expert Systems with Applications: An International Journal
Using Tuple Space to Coordinate Multiagent Activities
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Guaranteed global performance through local coordinations
Automatica (Journal of IFAC)
Hi-index | 0.00 |