Proving nondeterministically specified safety properties using progress measures
- Nils Klarlund
- Fred B. Schneider
- 1993
- Information and Computation
Paper
Publications
26936 results for Science
Model for the Effect of Powder Packing on the Driving Force for Liquid‐Phase Sintering
- Thomas M. Shaw
- 1993
- JACerS
PaperCalculation of fibonacci polynomials for gfsr sequences with low discrepancies
- Shu Tezuka
- Masanori Fushimi
- 1993
- Mathematics of Computation
PaperThe first doping of lead2+ into the bismuth oxide layers of the aurivillius oxides
- P. Millán
- A. Castro
- et al.
- 1993
- Materials Research Bulletin
PaperEffects of Chain Pull-out on Adhesion of Elastomers
- Hugh R. Brown
- 1993
- Macromolecules
PaperWear mechanisms of amorphous carbon and zirconia coatings on rigid disk magnetic recording media
- M.T. Dugger
- Y.W. Chung
- et al.
- 1993
- Tribology Transactions
PaperLow temperature wurtz-type polymerization of substituted dichlorosilanes
- R.D. Miller
- E.J. Ginsburg
- et al.
- 1993
- Polymer Journal
PaperUnoccupied electronic states of ultrathin films of Co/Cu(111) and Fe/Cu(111)
- G.J. Mankey
- R.F. Willis
- et al.
- 1993
- Physical Review B
PaperLogical query optimization by proof-tree transformation
- Raghu Ramakrishnan
- Yehoshua Sagiv
- et al.
- 1993
- Journal of Computer and System Sciences
PaperMechanical Behavior of Alumina–Silicon Carbide „Nanocomposites”
- Junhong Zhao
- Laura C. Stearns
- et al.
- 1993
- JACerS
Paper