User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 3 results.
    • Journal article
    Handling Liveness Properties in (<i>omega</i>-)Regular Model Checking.
    Bouajjani, Ahmed Legay, Axel Wolper, Pierre (2005) Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings — Vol. 138, no.3, p. 101-115 (2005)
    • Speech
    Simulation-Based Iteration of Tree Transducers.
    Abdulla, Parosh Aziz Legay, Axel d'Orso, Julien Rezine, Ahmed (2005) TACAS —
    • Speech
    Sociable Interfaces.
    Alfaro, Luca de Silva, Leandro Dias da Faella, Marco Legay, Axel Roy, Pritam Sorea, Maria (2005) FROCOS —