Thread Quantification for Concurrent Shape Analysis

cav08.pdf
PDF file

In  Computer Aided Verification (CAV)

Details

TypeInproceedings
> Publications > Thread Quantification for Concurrent Shape Analysis