placeholder image

Smolka, Gert

Person

Positions

Saarland University

selected publications

chapter
- Tower Induction and Up-to Techniques for CCS with Fixed Points. Lecture Notes in Computer Science. 274-289. 2017

full name

Gert Smolka

Publications in VIVO

Co-author Network