Download digital business card

Person

Dr.

Salomon Sickert

Hebrew Univrsity of Jerusalem and Technical University of Munich

Address

Website
 

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

Hosted by RTG QuantLA