NewsEntry (2015/05/05)
From LRDE
Title | Alexandre Duret-Lutz invited to TU Dresden, Germany. |
---|---|
Sub-Title | He will speak on From PSL to Transition-based Generalized Büchi Automata at the Research Seminar QuantLA. |
Date | 2015/05/05 |
Title | Alexandre Duret-Lutz invited to TU Dresden, Germany. |
---|---|
Sub-Title | He will speak on From PSL to Transition-based Generalized Büchi Automata at the Research Seminar QuantLA. |
Date | 2015/05/05 |