Hugues-Olivier Yar

Publication Activity (10 Years)

Years Active: 1999-1999
Publications (10 Years): 0

Publications

Jean Paul Bahsoun, Rami El-Baïda, Hugues-Olivier Yar
Decision Procedure for Temporal Logic of Concurrent Objects. Euro-Par (1999)