N. S. Pryes

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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 Lap-Ming Liu [1]