Composition of interactive Web services based on controller synthesis and modal logic

26^th February 2008, 16:00
Prof Philippe Balbiani
Institut de Recherche en Informatique de Toulouse, Toulouse, France