Temporal Logic - Das aktuelle Schlagwort
dc.contributor.author | Everling, Wolfgang | |
dc.date.accessioned | 2018-02-02T02:15:28Z | |
dc.date.available | 2018-02-02T02:15:28Z | |
dc.date.issued | 1987 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/15652 | |
dc.language.iso | de | |
dc.publisher | Springer-Verlag | |
dc.relation.ispartof | Informatik Spektrum: Vol. 10, No. 2 | |
dc.title | Temporal Logic - Das aktuelle Schlagwort | de |
dc.type | Text/Journal Article | |
gi.citation.endPage | 100 | |
gi.citation.publisherPlace | Berlin Heidelberg | |
gi.citation.startPage | 99 |