Augustin Baziramwabo

Publication Activity (10 Years)

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

Publications

Augustin Baziramwabo, Pierre McKenzie, Denis Thérien
Modular Temporal Logic. LICS (1999)