DMCA

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems (2002)

by Natalia Ioustinova , Natalia Sidorova , Martin Steffen
Citations:2 - 1 self