Author: Harold W. Carter
Publication Overview
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