3rd International Workshop on Parallel and
Distributed Methods in verifiCation |
Saturday 4 September 2004,
Affiliated to CONCUR'04
, 31 August - 3 September 2004.
Final Version Submittal Instructions
Accepted regular papers will be published in a volume of ENTCS. These papers must be
prepared in the style of that series.
LaTeX style files
To achieve a nice looking layout of the proceeding we ask all
the authors to utilize the ENTCS macro files that have been
specially prepared for use with ENTCS. While these style files were derived
from Elsevier's elsart files, there are significant differences.
- The first step is to download
ENTCS package, which contains files common for all volumes
in ENTCS. These include several examples, as well as instructions on
how to use the LaTeX styles files, and how to produce both the
PostScript and the pdf files.
- The second step is to download
file that pertains to PDMC 2004 issue and replaces the
entcsmacro.sty contained in the generic ENTCS package.
Please send the postscript file and all the source files, (e.g. tex files
for the text and ps or eps files for figures, all macro and style files
except those included in the standard LaTeX distribution) of the final
version of your paper as a single file (use e.g. zip, tar, tar.gz,
tar.Z) by email to:
Before sending the files, please make sure
that in all cases the text is identical to the postscript version and no
further changes will be needed.
Time and Space Limits