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