活动图的时序逻辑语义-ResearchGate.PDF

See discussions, stats, and author profiles for this publication at: /publication/238837418 A Temporal Logic Semantics for UML Activity Diagrams Article  in  Journal of Computer Research and Development · September 2005 DOI: 10.1360/cra CITATIONS READS 6 66 2 authors, including: Xue-Yang Zhu Chinese Academy of Sciences 25 PUBLICATIONS    1