JAIST Repository: Items for Author

Home| JAIST Home| Library Home

Browse

Sign on to:

My DSpace
authorized users

Items for Author "せいの, たかひろ"

Return to Browse by Author
Sort by Title	Sorting by Date

Showing 2 items.

Date of Issue	Title	Authors
Mar-1999	代数仕様言語 CafeOBJ による鉄道信号システムの記述	清野, 貴博; せいの, たかひろ
Mar-2003	項書換えを用いた安全性検証の組織化	清野, 貴博; せいの, たかひろ

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