Digitale Visitenkarte herunterladen

Person

Dr.

Salomon Sickert

Hebrew Univrsity of Jerusalem and Technical University of Munich

Adresse

Website
 

Online seminar talk “An Efficient Normalisation Procedure for Linear Temporal Logic”

Hosted by RTG QuantLA