@inproceedings{artho09ase,
  author={C. Artho and W. Leungwattanakit and M. Hagiya and Y. Tanabe and M. Yamamoto},
  title = {Cache-based Model Checking of Networked Applications: From Linear to Branching Time},
  booktitle = {Proc.\ 24th Int.\  Conf.\ on Automated Software Engineering (ASE~2009)},
  year = {2009},
  pages = {447--458},
  publisher = {IEEE Computer Society},
  address = {Auckland, New Zealand},
}