Tristan at WLP 2007 Today Tristan will give his talk on "LTL Model Checking with Logic Based Petri Nets" at the WLP 2007 workshop in lovely Würzburg.-WLP 2007-
© myboys.me/stock.adobe.com
Tristan at WLP 2007 Today Tristan will give his talk on "LTL Model Checking with Logic Based Petri Nets" at the WLP 2007 workshop in lovely Würzburg.-WLP 2007-
Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden u. a. pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Mit dem Klick auf Einstellungen können Sie zudem die einzelnen Cookies auswählen, welche Sie akzeptieren wollen. Das Einverständnis in die Verwendung der Cookies können Sie jederzeit, auch teilweise, widerrufen. Weitere Informationen zu Cookies auf dieser Website finden Sie in unserer Datenschutzerklärung und zu uns im Impressum.