Logo des Repositoriums
 

Temporal Logic - Das aktuelle Schlagwort

dc.contributor.authorEverling, Wolfgang
dc.date.accessioned2018-02-02T02:15:28Z
dc.date.available2018-02-02T02:15:28Z
dc.date.issued1987
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/15652
dc.language.isode
dc.publisherSpringer-Verlag
dc.relation.ispartofInformatik Spektrum: Vol. 10, No. 2
dc.titleTemporal Logic - Das aktuelle Schlagwortde
dc.typeText/Journal Article
gi.citation.endPage100
gi.citation.publisherPlaceBerlin Heidelberg
gi.citation.startPage99

Dateien