DMCA

Hung: A relatively complete axiomatisation of projection onto state in the Duration Calculus (2004)

Cached

Download Links

by Dimitar P. Guelev , Dang Van Hung
Venue:J. Applied Non-Classical Logics
Citations:1 - 1 self