J.-H. Lin

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994

1 T.-L. Huang, J.-H. Lin: An Assertional Proof of a Lock Synchronization Algorithm Using Fetch and Store Atomic Instruction. ICPADS 1994: 759-768

1994
1		T.-L. Huang, J.-H. Lin: An Assertional Proof of a Lock Synchronization Algorithm Using Fetch and Store Atomic Instruction. ICPADS 1994: 759-768

Coauthor Index

1 T.-L. Huang [1]