@inproceedings{CTT100547373,
  author = {Shimpei Sasaki and Junichi Iijima},
  title = {Verification of Invariant Properties of Business Process Based on Formal Approach},
  booktitle = {Proceedings of 2007 International Conference on Wireless Communications, Networking and Mobile Computing},
  year = 2007,
}