Author: Harold W. Carter
Publications
Publication period start: 1999
Number of co-authors: 4
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Frey, Peter, Radhakrishnan, Radharamanan, Wilsey, Philip A., Alexander, Perry, Carter, Harold W. (1999): An Extensible Formal Framework for the Specification and Verification of an Optimistic Sim. In: HICSS 1999 , 1999, . https://csdl.computer.org/comp/proceedings/hicss/1999/0001/03/00013049abs.htm