JAIST Repository: Items for Author

Home| JAIST Home| Library Home

Browse

Sign on to:

My DSpace
authorized users

Items for Author "Nakano, Masahiro"

Return to Browse by Author
Sort by Title	Sorting by Date

Showing 2 items.

Date of Issue	Title	Authors
2006	Induction-Guided Falsification	Ogata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi
7-Mar-2007	Counterexample Discovery with a Combination of Induction and Bounded Model Checking	Ogata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi

Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)