Reachability determination for a non-syntactic subclass of vector replacement systems (Petri nets)

Simple item page
dc.contributor.authorLaucht, C. Matthiasen_US
dc.date.accessioned2013-01-18T21:33:12Z
dc.date.available2013-01-18T21:33:12Z
dc.date.issued1982en_US
dc.degree.disciplineComputer Scienceen_US
dc.degree.levelDoctor of Philosophy (Ph.D.)en_US
dc.description.abstracten_US
dc.format.extentvii, 200 leaves :en_US
dc.identifierocm72785720en_US
dc.identifier.urihttp://hdl.handle.net/1993/15086
dc.language.isoengen_US
dc.rightsopen accessen_US
dc.titleReachability determination for a non-syntactic subclass of vector replacement systems (Petri nets)en_US
dc.typedoctoral thesisen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Laucht_Reachability_determination.pdf
Size:
5.25 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
FGS - Electronic Theses and Practica