Specification, verification, and synthesis of concurrency control components
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Proceedings of the 24th International Conference on Software Engineering
A structured approach to develop concurrent programs in UML
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Hi-index | 0.89 |