Diskussion:Linear Time Temporal Logic
aus Wikipedia, der freien Enzyklopädie
Weiterleitung auf CTL imho unsinnig
Es gibt einen Artikel Lineare temporale Logik auf den weitergeleitet werden sollte, statt auf CTL. --JonasCleve (Diskussion) 22:22, 1. Mär. 2015 (CET)
