糖心TV

Skip to main content Skip to navigation

Department of Computer Science

Theory and Foundations Events

Show all calendar items

Dimap Seminar: Petr Jancar

- Export as iCalendar
Location: MS.04

Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States

More…
Tags: DIMAP Seminar

Show all calendar items

Let us know you agree to cookies

We use cookies to give you the best online experience. Please let us know if you agree to functional, advertising and performance cookies. You can update your cookie preferences at any time.

Cookie policy