publications
A Formal Specification Method of the Temporal Constraint in ConceptualModels
Lei Jingand JiadongRen.(2005).
Application Research of Computers, Vol.22, pp.521-522
Application Research of Computers, Vol.22, pp.521-522
A Formal Specification Method of the Temporal Constraint in ConceptualModels