Author: Harold W. Carter

Publications

Publication period start: 1999
Number of co-authors: 4

Co-authors

Number of publications with favourite co-authors
Radharamanan Radhakrishnan
1
Philip A. Wilsey
1
Perry Alexander
1

Productive Colleagues

Most productive colleagues in number of publications
Radharamanan Radhakrishnan
2
Perry Alexander
4
Philip A. Wilsey
5

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