Invited tutorial on temporal logic and hybrid logic

Braüner, T. (Lecturer)

Activity: Talk or presentationLecture and oral contribution

Period7 Nov 2002 - 9 Nov 2002
Event typeWorkshop
LocationSan Sebastian, Spain