Donna M. Carter

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Donna M. Carter, Ramazan Savas Aygün, Glenn W. Cox, Mary Ellen Weisskopf, Letha H. Etzkorn
The effect of uncontrolled concurrency on model checking. Concurr. Comput. Pract. Exp. 20 (12) (2008)