Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Formal specification of a protocol processor
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Stepwise development of peer-to-peer systems
IWFM'03 Proceedings of the 6th international conference on Formal Methods
Hi-index | 0.00 |