@inproceedings{CTT100658696,
  author = {Takahisa Mizuno and Shin-ya Nishizaki},
  title = {Analyzing Systems Dependent on Execution Speed with Model Checker},
  booktitle = {Procedia Engineering},
  year = 2012,
}

@inproceedings{CTT100613671,
  author = {Kensuke NARITA and Shin-ya NISHIZAKI and Takahisa MIZUNO},
  title = {A Simple Abstract Machine for First-class Continuations},
  booktitle = {Proceedings of International Symposium on Communications and Information Technologies 2010},
  year = 2010,
}

@inproceedings{CTT100613673,
  author = {Hiroki KUMAMOTO and Takahisa MIZUNO and Kensuke NARITA and Shin-ya NISHIZAKI},
  title = {Destructive Testing of Software Systems by Model Checking},
  booktitle = {Proceedings of International Symposium on Communications and Information Technologies 2010},
  year = 2010,
}