$\mathsf{PLTL}$ – Vollständigkeit und Modell-Konstruktion

Title$\mathsf{PLTL}$ – Vollständigkeit und Modell-Konstruktion
Publication TypeMaster's Thesis
2005
AuthorsSonderegger, D
http://www.iam.unibe.ch/ltgpub/2005/son05.pdf