Person

Dr.

Salomon Sickert

Digitale Visitenkarte herunterladen
Hebrew Univrsity of Jerusalem and Technical University of Munich

Adresse

 

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

Hosted by RTG QuantLA