Post #2162710
2023-12-21 21:03 UTC
Ich habe eine Referenzanfrage: kennt jemand ein Buch oder Artikel über LTL (Lineare Temporale Logik) auf Deutsch, das viele Beispiele für Übersetzungen vom Deutsch ins LTL enthält? Hofmann und Langes Buch enthält natürlich keine Beispiele, nur Mathematik 🙃
(Ich verstehe LTL ganz gut, ich suche nach Beispiele auf Deutsch.)
Replies (1)
-
@csgordon@discuss.systems 2023-12-27 00:40
Ich soll sagen, das ich einen Artikel (nur eins) gefunden habe, der vier (!) Beispiele hat. https://www.degruyter.com/document/doi/10.1524/auto.52.2.A1.34758/html Hoffman und Langes sehr interessantes Buch hat keine Beispiele von Formulare mit deutsche Beschreibungen. Ich kenne keine andere möglichen Quellen.