DMCA

Testing Systems of Concurrent Black-boxes—an Automata-Theoretic and Decompositional Approach ⋆ (2005)

by Gaoyan Xie , Zhe Dang
Citations:1 - 0 self