Specification and Verification of Real-Time Properties Using LOTOS and SQTL
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Hi-index | 0.00 |