Lap-Ming Liu

List of publications from the DBLP Bibliography Server - FAQ

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

1989

1 Lap-Ming Liu, N. S. Pryes: SPCHECK: A Specification-Based Tool for INterface Checking of Large, Real-Time/Distributed Systems. IFIP Congress 1989: 55-60

1989
1		Lap-Ming Liu, N. S. Pryes: SPCHECK: A Specification-Based Tool for INterface Checking of Large, Real-Time/Distributed Systems. IFIP Congress 1989: 55-60

Coauthor Index

1 N. S. Pryes [1]