DMCA

A RAISE Specification Framework and Justification Assistant for the Duration Calculus (1998)

Cached

Download Links

by Anne Haxthausen , Xia Yong
Citations:1 - 0 self