Everling, Wolfgang2018-02-022018-02-021987https://dl.gi.de/handle/20.500.12116/15652deTemporal Logic - Das aktuelle SchlagwortText/Journal Article