Zum Inhalt springen

Diskussion:Linear Time Temporal Logic

Seiteninhalte werden in anderen Sprachen nicht unterstützt.
Abschnitt hinzufügen
aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 10 Jahren von JonasCleve in Abschnitt Weiterleitung auf CTL imho unsinnig

Weiterleitung auf CTL imho unsinnig

[Quelltext bearbeiten]
Letzter Kommentar: vor 10 Jahren1 Kommentar1 Person ist an der Diskussion beteiligt

Es gibt einen Artikel Lineare temporale Logik auf den weitergeleitet werden sollte, statt auf CTL. --JonasCleve (Diskussion) 22:22, 1. Mär. 2015 (CET)Beantworten

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Diskussion:Linear_Time_Temporal_Logic&oldid=139349736“