Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi. Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. In Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France. pages 9, IEEE Computer Society, 2007. [doi]
Abstract is missing.