| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Damm, Werner | |
| dc.contributor.author | Dierks, Henning | |
| dc.contributor.author | Disch, Stefan | |
| dc.contributor.author | Hagemann, Willem | |
| dc.contributor.author | Pigorsch, Florian | |
| dc.contributor.author | Scholl, Christoph | |
| dc.contributor.author | Waldmann, Uwe | |
| dc.contributor.author | Wirtz, BorisWirtz, Boris | |
| dc.date.accessioned | 2020-08-26T09:18:33Z | - |
| dc.date.available | 2020-08-26T09:18:33Z | - |
| dc.date.issued | 2012 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.12738/1612 | - |
| dc.relation.ispartof | Science of computer programming : methods of software design: techniques and applications | |
| dc.title | Exact and Fully Symbolic Verication of Linear Hybrid Automata with Large Discrete State Spaces | |
| dc.type | Article | |
| tuhh.container.endpage | 1150 | |
| tuhh.container.issue | 10-11 | |
| tuhh.container.startpage | 1122 | |
| tuhh.container.volume | 77 | |
| tuhh.oai.show | true | en_US |
| tuhh.publication.institute | Department Informations- und Elektrotechnik | |
| tuhh.publication.institute | Fakultät Technik und Informatik | |
| tuhh.type.opus | (wissenschaftlicher) Artikel | - |
| dc.type.casrai | Journal Article | - |
| dc.type.dini | article | - |
| dc.type.driver | article | - |
| dcterms.DCMIType | Text | - |
| item.fulltext | No Fulltext | - |
| item.creatorGND | Damm, Werner | - |
| item.creatorGND | Dierks, Henning | - |
| item.creatorGND | Disch, Stefan | - |
| item.creatorGND | Hagemann, Willem | - |
| item.creatorGND | Pigorsch, Florian | - |
| item.creatorGND | Scholl, Christoph | - |
| item.creatorGND | Waldmann, Uwe | - |
| item.creatorGND | Wirtz, BorisWirtz, Boris | - |
| item.openairetype | Article | - |
| item.grantfulltext | none | - |
| item.creatorOrcid | Damm, Werner | - |
| item.creatorOrcid | Dierks, Henning | - |
| item.creatorOrcid | Disch, Stefan | - |
| item.creatorOrcid | Hagemann, Willem | - |
| item.creatorOrcid | Pigorsch, Florian | - |
| item.creatorOrcid | Scholl, Christoph | - |
| item.creatorOrcid | Waldmann, Uwe | - |
| item.creatorOrcid | Wirtz, BorisWirtz, Boris | - |
| item.cerifentitytype | Publications | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_6501 | - |
| crisitem.author.dept | Department Informations- und Elektrotechnik | - |
| crisitem.author.parentorg | Fakultät Technik und Informatik | - |
| Appears in Collections: | Publications without full text | |
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.