Mark Heckman

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1997
Publication period end
1998
Number of co-authors
5

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Heckman, Mark, Levitt, Karl N. (1998): Applying the Composition Principle to Verify a Hierarchy of Security Servers. In: HICSS 1998 , 1998, . pp. 338-347. http://csdl.computer.org/comp/proceedings/hicss/1998/8239/03/82390338abs.htm

Zhang, Cui, Becker, Brian R., Peticolas, Dave, Heckman, Mark, Levitt, Karl N., Olsson, Ronald A. (1997): Verification of a Distributed Computing. In: HICSS 1997 , 1997, . pp. 252-261. http://csdl.computer.org/comp/proceedings/hicss/1997/7734/05/7734050252abs.htm