Person

Dr.

Salomon Sickert

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