Validierung eines Petrinetz-basierten Steuerungssystems
| dc.contributor.author | Vesper, Tobias | |
| dc.contributor.author | Weber, Michael | |
| dc.date.accessioned | 2017-06-15T17:07:00Z | |
| dc.date.available | 2017-06-15T17:07:00Z | |
| dc.date.created | 2005-06-30 | |
| dc.date.issued | 2005-06-30 | |
| dc.identifier.issn | 0863-095X | |
| dc.identifier.uri | http://edoc.hu-berlin.de/18452/3098 | |
| dc.language.iso | ger | |
| dc.publisher | Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik | |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | |
| dc.subject.ddc | 004 Informatik | |
| dc.title | Validierung eines Petrinetz-basierten Steuerungssystems | |
| dc.type | book | |
| dc.identifier.urn | urn:nbn:de:kobv:11-10043060 | |
| dc.identifier.doi | http://dx.doi.org/10.18452/2446 | |
| dc.subject.dnb | 28 Informatik, Datenverarbeitung | |
| dc.subject.rvk | ST 201 | |
| local.edoc.pages | 25 | |
| local.edoc.type-name | Buch | |
| local.edoc.container-type | series | |
| local.edoc.container-type-name | Schriftenreihe | |
| local.edoc.container-year | 1998 | |
| dc.identifier.zdb | 2942054-4 | |
| bua.series.name | Informatik-Berichte | |
| bua.series.issuenumber | 1998,100 |
