%0 Conference Paper %1 conf/ipps/PangFHV03 %A Pang, Jun %A Fokkink, Wan J. %A Hofman, Rutger F. H. %A Veldema, Ronald %B IPDPS %D 2003 %I IEEE Computer Society %K dblp %P 238 %T Model Checking a Cache Coherence Protocol for a Java DSM Implementation. %U http://dblp.uni-trier.de/db/conf/ipps/ipdps2003.html#PangFHV03 %@ 0-7695-1926-1

@inproceedings{conf/ipps/PangFHV03, added-at = {2023-03-24T00:00:00.000+0100}, author = {Pang, Jun and Fokkink, Wan J. and Hofman, Rutger F. H. and Veldema, Ronald}, biburl = {https://www.bibsonomy.org/bibtex/20b981bbc6380f14201e3e94057720288/dblp}, booktitle = {IPDPS}, crossref = {conf/ipps/2003}, ee = {https://doi.ieeecomputersociety.org/10.1109/IPDPS.2003.1213433}, interhash = {a2a5d266462d26dec635b6c9579a7b02}, intrahash = {0b981bbc6380f14201e3e94057720288}, isbn = {0-7695-1926-1}, keywords = {dblp}, pages = 238, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:26:16.000+0200}, title = {Model Checking a Cache Coherence Protocol for a Java DSM Implementation.}, url = {http://dblp.uni-trier.de/db/conf/ipps/ipdps2003.html#PangFHV03}, year = 2003 }