%PDF-1.4
%
1 0 obj
<<
/Type /Catalog
/Version /1.4
/Pages 2 0 R
/OpenAction [3 0 R /XYZ 0 796 1]
/Names 4 0 R
/PageLabels 5 0 R
/Metadata 6 0 R
>>
endobj
7 0 obj
<<
/Author (Drusinsky, Doron, Shing, Man-Tak, Demir, Kadir Alpaslan)
/Title (Creation and Validation of Embedded Assertion Statecharts)
/Producer (DynamicPDF for Java v4.0.3)
/ModDate (D:20181102143213-07'00')
/Creator (Drusinsky, Doron, Shing, Man-Tak, Demir, Kadir Alpaslan)
>>
endobj
2 0 obj
<<
/Type /Pages
/Kids [8 0 R 3 0 R 9 0 R 10 0 R 11 0 R 12 0 R 13 0 R 14 0 R]
/Count 8
>>
endobj
3 0 obj
<<
/Type /Page
/Parent 2 0 R
/MediaBox [0.0 0.0 612.0 792.0]
/CropBox [0.0 0.0 612.0 792.0]
/BleedBox [0 0 612 792]
/TrimBox [0 0 612 792]
/ArtBox [0 0 612 792]
/DPDFBodyBox [0 0 612 792]
/Contents [15 0 R 16 0 R 17 0 R]
/Resources 18 0 R
/Thumb 19 0 R
/LastModified (D:20060502113214)
/Rotate 0
>>
endobj
4 0 obj
<<
/EmbeddedFiles 20 0 R
>>
endobj
5 0 obj
<<
/Nums [1 21 0 R]
>>
endobj
6 0 obj
<<
/Length 3887
/Subtype /XML
/Type /Metadata
>>
stream
Acrobat Distiller 7.0.5 (Windows)
2006-05-02T10:49:02-07:00
2006-05-02T10:49:02-07:00
2006-05-02T10:49:01-08:00
uuid:62FDA3ED03DADA11957DC94D10111619
uuid:1097e5df-c7f0-43fe-9f99-4741aaf83b53
uuid:df0a7d7d-96a0-4c1d-849a-cd1d01dd01b1
uuid:427a67ad-a99c-47f2-9d59-08cbeb3d754d
application/postscript
Microsoft Word - rsp06-v9.doc
shing
endstream
endobj
8 0 obj
<<
/Type /Page
/MediaBox [0.0 0.0 612.0 792.0]
/Contents 22 0 R
/Resources 23 0 R
/Parent 2 0 R
>>
endobj
9 0 obj
<<
/Type /Page
/Parent 2 0 R
/MediaBox [0.0 0.0 612.0 792.0]
/CropBox [0.0 0.0 612.0 792.0]
/BleedBox [0 0 612 792]
/TrimBox [0 0 612 792]
/ArtBox [0 0 612 792]
/DPDFBodyBox [0 0 612 792]
/Contents [24 0 R 25 0 R 26 0 R]
/Resources 27 0 R
/Thumb 28 0 R
/LastModified (D:20060502113215)
/Rotate 0
>>
endobj
10 0 obj
<<
/Type /Page
/Parent 2 0 R
/MediaBox [0.0 0.0 612.0 792.0]
/CropBox [0.0 0.0 612.0 792.0]
/BleedBox [0 0 612 792]
/TrimBox [0 0 612 792]
/ArtBox [0 0 612 792]
/DPDFBodyBox [0 0 612 792]
/Contents [29 0 R 30 0 R 31 0 R]
/Resources 32 0 R
/Thumb 33 0 R
/LastModified (D:20060502113215)
/Rotate 0
>>
endobj
11 0 obj
<<
/Type /Page
/Parent 2 0 R
/MediaBox [0.0 0.0 612.0 792.0]
/CropBox [0.0 0.0 612.0 792.0]
/BleedBox [0 0 612 792]
/TrimBox [0 0 612 792]
/ArtBox [0 0 612 792]
/DPDFBodyBox [0 0 612 792]
/Contents [34 0 R 35 0 R 36 0 R]
/Resources 37 0 R
/Thumb 38 0 R
/LastModified (D:20060502113215)
/Rotate 0
>>
endobj
12 0 obj
<<
/Type /Page
/Parent 2 0 R
/MediaBox [0.0 0.0 612.0 792.0]
/CropBox [0.0 0.0 612.0 792.0]
/BleedBox [0 0 612 792]
/TrimBox [0 0 612 792]
/ArtBox [0 0 612 792]
/DPDFBodyBox [0 0 612 792]
/Contents [39 0 R 40 0 R 41 0 R]
/Resources 42 0 R
/Thumb 43 0 R
/LastModified (D:20060502113215)
/Rotate 0
>>
endobj
13 0 obj
<<
/Type /Page
/Parent 2 0 R
/MediaBox [0.0 0.0 612.0 792.0]
/CropBox [0.0 0.0 612.0 792.0]
/BleedBox [0 0 612 792]
/TrimBox [0 0 612 792]
/ArtBox [0 0 612 792]
/DPDFBodyBox [0 0 612 792]
/Contents [44 0 R 45 0 R 46 0 R]
/Resources 47 0 R
/Thumb 48 0 R
/LastModified (D:20060502113215)
/Rotate 0
>>
endobj
14 0 obj
<<
/Type /Page
/Parent 2 0 R
/MediaBox [0.0 0.0 612.0 792.0]
/CropBox [0.0 0.0 612.0 792.0]
/BleedBox [0 0 612 792]
/TrimBox [0 0 612 792]
/ArtBox [0 0 612 792]
/DPDFBodyBox [0 0 612 792]
/Contents [49 0 R 50 0 R 51 0 R]
/Resources 52 0 R
/Thumb 53 0 R
/LastModified (D:20060502113215)
/Rotate 0
>>
endobj
15 0 obj
<<
/Length 10
/Filter /FlateDecode
>>
stream
x+ |
endstream
endobj
16 0 obj
<<
/Length 4114
/Filter /FlateDecode
>>
stream
HW˒>Bų7]cDهMI43b8~PeBUVVVO( ^n;qC'J |SOL %# K״W}GhiS@5
S?3J 4
8^65E?GˁWcN8g
=>9ed+Ҡ~QN\$ HH~,/ƳC7ݶwxIeWV