線形時相論理せんけいじそうろんり<せん'けい>・じ'そう・ろん'り8

Logiklineare temporale Logik