Scholarly Materials Published in 1984
Akkoyunlu, E. A.; Nemes, Richard M. 1984-11 Modular Verification of Communicating Sequential Processes
Berman, A. Michael; Cheng, Charles Ching-an; Paull, Marvin C. 1984-08 Exploring the Structure of Incremental Algorithms
Version 8.3.5
Rutgers University Libraries - Copyright ©2018