| Original language | English |
|---|---|
| Title of host publication | 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings |
| Publisher | IEEE Computer Society |
| Pages | 238 |
| Publication status | Published - 2003 |
Model Checking a Cache Coherence Protocol for a Java DSM Implementation
J. Pang, W.J. Fokkink, R.F.H. Hofman, R.S. Veldema
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review