Date:
Tuesday, June 01, 2010
Speaker:
Jean-Francois Raskin
Venue: IST Austria
Compositional algorithms for LTL synthesis
Posted in RiSE Seminar