Tristan at WLP 2007

10/05/2007

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-

Our website uses cookies. These have two functions: Firstly, they are necessary for the basic functionality of our website. On the other hand, with the help of cookies, we can continually improve our content for you. For this purpose, pseudonymised data of website visitors is collected and analysed. By clicking on Settings, you can also select the individual cookies you wish to accept. You can revoke your consent to the use of cookies at any time, even partially. You can find more information about cookies on this website in our privacy declaration and about us in the imprint.

Mandatory

These cookies are needed for a smooth operation of our website.

Name	Purpose	Lifetime	Type	Provider
CookieConsent	Saves your consent to using cookies.	1 year	HTML	Website

Font scaler

Name	Purpose	Lifetime	Type	Provider
FontScaler	Activates some buttons on top of the page to scale the font size of the web site	1 months	HTML	TU Clausthal

Readspeaker

Name	Purpose	Lifetime	Type	Provider
ReadSpeaker	Activates the "Readspeaker" feature that will read parts of a page or the whole page without having to install additional software	1 months	HTML	TU Clausthal

Print button

Name	Purpose	Lifetime	Type	Provider
PrintButton	Activates a button to print out the current page on click	1 months	HTML	TU Clausthal

Marketing

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo
_pk_ref	Used to store the attribution information, the referrer initially used to visit the website.	6 months	HTML	Matomo
_pk_ses	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_cvar	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_hsr	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo

Tristan at WLP 2007

Info

Reference

Weather & Webcam

Social Media

Content

Content

Content

Content

Tristan at WLP 2007