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