Matt Wallis

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1994

1 Jim Davies, Matt Wallis: On the formal specification and verification of network routing algorithms. FORTE 1994: 100-115

	1994
1		Jim Davies, Matt Wallis: On the formal specification and verification of network routing algorithms. FORTE 1994: 100-115

Coauthor Index