@article{CTT100551463,
  author = {Bing Li and Junichi Iijima},
  title = {A situation calculus based approach to dynamic management of e-business services},
  journal = {Journal of Systems Science and Systems Engineering},
  year = 2007,
}

@inproceedings{CTT100581782,
  author = {Bing Li and Junichi Iijima},
  title = {A Survey on Application of Situation Calculus in Business Information Systems},
  booktitle = {Proceedings of the 2007 International Conference on Convergence Information Technology},
  year = 2007,
}

@inproceedings{CTT100581781,
  author = {Bing Li and Junichi Iijima},
  title = {A Hybrid Approach for Business Process Verification},
  booktitle = {IFIP International Federation for Information Processing},
  year = 2007,
}

@inproceedings{CTT100547379,
  author = {Bing Li and Junichi Iijima},
  title = {Architecture on a Hybrid Business ProcessDesign and Verification System},
  booktitle = {Proceedings of 2007 International Conference on Wireless Communications, Networking and Mobile Computing},
  year = 2007,
}

@inproceedings{CTT100535432,
  author = {Bing Li and Junichi Iijima},
  title = {Dynamic Management of e-Business Services: A Situation Calculus Based Approach},
  booktitle = {Proceedings of 2007 International Conference on Service Systems and Service Management},
  year = 2007,
}

@inproceedings{CTT100535497,
  author = {Bing Li and Junichi Iijima},
  title = {Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification},
  booktitle = {Proceedings of the 9th International Conference on Enterprise Information Systems},
  year = 2007,
}