"Shimpei Sasaki,Junichi Iijima","Verification of Invariant Properties of Business Process Based on Formal Approach","2007 International Conference on Wireless Communications, Networking and Mobile Computing (WiCom 2007)","Proceedings of 2007 International Conference on Wireless Communications, Networking and Mobile Computing",,,,"pp. 6037-6040",2007,Sept.