DMCA

Modular construction of modal logics (2004)

by Corina Cîrstea , Dirk Pattinson
Venue:Concurrency Theory, CONCUR 04, volume 3170 of Lect. Notes Comput. Sci
Citations:24 - 6 self