DMCA

Quantales and temporal logics (2006)

by Bernhard Möller , Peter Höfner , Georg Struth
Venue:ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY (AMAST 2006). LNCS 4019
Citations:8 - 5 self