dblp.uni-trier.dewww.uni-trier.de

Kylie Williams

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
1EEKylie Williams, Robert Esser: Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking. ACSC 2004: 65-71

Coauthor Index

1Robert Esser [1]

Copyright © Thu Jun 5 07:42:39 2008 by Michael Ley (ley@uni-trier.de)