Data flow analysis for checking properties of concurrent Java programs
Proceedings of the 21st international conference on Software engineering
Communication Deadlock Detection of Inter-organizational Workflow Definition
DNIS '02 Proceedings of the Second International Workshop on Databases in Networked Information Systems
Hi-index | 0.00 |