- 2002
[j2]
- 2001
[j1]
- 1995
[c5]
E. Thomas Schubert,
Sarah Mocas:
A Mechanized Logic for Secure Key Escrow Protocol Verification. TPHOLs 1995: 308-323
[e1]
E. Thomas Schubert,
Phillip J. Windley,
Jim Alves-Foss (Eds.):
Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings. Lecture Notes in Computer Science 971,
Springer 1995, ISBN 3-540-60275-5
- 1994
[c4]
E. Thomas Schubert:
A Hybrid Model for Reasoning about Composed Hardware Systems. CAV 1994: 260-272
- 1993
[c3]
- 1991
[c2]
E. Thomas Schubert:
Verification of Integrated Subsystems. TPHOLs 1991: 38-51
[c1]
E. Thomas Schubert:
Verification of Composed Hardware Systems Using CCS. TPHOLs 1991: 88-95
data released under the ODC-BY 1.0 license. See also our legal information page