publications

A Formal Specification Method of the Temporal Constraint in ConceptualModels

Lei Jingand JiadongRen.(2005).
Application Research of Computers, Vol.22, pp.521-522