Repository logo

System analysis and protocol verification by an interactive Petri net package.

Simple item page
dc.contributor.authorQiu, Xiaoling.
dc.date.accessioned2009-03-20T14:00:44Z
dc.date.available2009-03-20T14:00:44Z
dc.date.created1984
dc.date.issued1984
dc.degree.levelMasters
dc.degree.nameM.C.S.
dc.identifier.citationSource: Masters Abstracts International, Volume: 40-07, page: .
dc.identifier.isbn9780315196513
dc.identifier.urihttp://hdl.handle.net/10393/5039
dc.identifier.urihttp://dx.doi.org/10.20381/ruor-14159
dc.publisherUniversity of Ottawa (Canada)
dc.subject.classificationLibrary Science.
dc.titleSystem analysis and protocol verification by an interactive Petri net package.
dc.typeThesis

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail ImageThumbnail Image
Name:
MK67558.PDF
Size:
3.62 MB
Format:
Adobe Portable Document Format
Download

Collections

Thèses, 1910 - 2010 // Theses, 1910 - 2010