| 1 | <?xml version="1.0" encoding="utf-8" standalone="no"?>
|
|---|
| 2 | <!DOCTYPE Archive SYSTEM "http://greenstone.org/dtd/Archive/1.0/Archive.dtd">
|
|---|
| 3 | <Archive>
|
|---|
| 4 | <Section>
|
|---|
| 5 | <Description>
|
|---|
| 6 | <Metadata name="gsdlsourcefilename">import/CMSwp-all.00000101/00000136.nul</Metadata>
|
|---|
| 7 | <Metadata name="gsdlsourcefilerenamemethod">url</Metadata>
|
|---|
| 8 | <Metadata name="gsdldoctype">indexed_doc</Metadata>
|
|---|
| 9 | <Metadata name="Plugin">NulPlugin</Metadata>
|
|---|
| 10 | <Metadata name="FileSize">0</Metadata>
|
|---|
| 11 | <Metadata name="Source">00000136.nul</Metadata>
|
|---|
| 12 | <Metadata name="SourceFile">00000136.nul</Metadata>
|
|---|
| 13 | <Metadata name="null_file">CMSwp-all.00000101/00000136.nul</Metadata>
|
|---|
| 14 | <Metadata name="NoText">1</Metadata>
|
|---|
| 15 | <Metadata name="exp.Creator">Reeves, Steve, 1957-</Metadata>
|
|---|
| 16 | <Metadata name="exp.Creator">Streader, David.</Metadata>
|
|---|
| 17 | <Metadata name="exp.Creator">University of Waikato. Dept. of Computer Science.</Metadata>
|
|---|
| 18 | <Metadata name="exp.Date">2006.</Metadata>
|
|---|
| 19 | <Metadata name="exp.Description">Includes bibliographical references (p. 15-16).</Metadata>
|
|---|
| 20 | <Metadata name="exp.Identifier">http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-08.pdf</Metadata>
|
|---|
| 21 | <Metadata name="exp.Publisher">Hamilton, N.Z. :</Metadata>
|
|---|
| 22 | <Metadata name="exp.Publisher">Dept. of Computer Science, University of Waikato,</Metadata>
|
|---|
| 23 | <Metadata name="exp.Subject">B method (Computer science)</Metadata>
|
|---|
| 24 | <Metadata name="exp.Subject">Parallel processing (Electronic computers)</Metadata>
|
|---|
| 25 | <Metadata name="exp.Title">LSB = Live and Safe B : alternative semantics for Event B / Steve Reeves and David Streader.</Metadata>
|
|---|
| 26 | <Metadata name="Title">00000136</Metadata>
|
|---|
| 27 | <Metadata name="Identifier">HASH01318d16049767ea1ddc9be7</Metadata>
|
|---|
| 28 | <Metadata name="lastmodified">1614479552</Metadata>
|
|---|
| 29 | <Metadata name="lastmodifieddate">20210228</Metadata>
|
|---|
| 30 | <Metadata name="oailastmodified">1614479622</Metadata>
|
|---|
| 31 | <Metadata name="oailastmodifieddate">20210228</Metadata>
|
|---|
| 32 | <Metadata name="assocfilepath">HASH0131/8d160497.dir</Metadata>
|
|---|
| 33 | </Description>
|
|---|
| 34 | <Content>This document has no text.</Content>
|
|---|
| 35 | </Section>
|
|---|
| 36 | </Archive>
|
|---|
