@inproceedings{oai:niit.repo.nii.ac.jp:00000585, author = {奥山, 綾 and 今井, 博英 and 角山, 正博 and 牧野, 秀夫}, book = {電子情報通信学会信越支部大会講演論文集}, month = {}, pages = {149--150}, publisher = {電子情報通信学会}, title = {4D-1 状態集約を用いたGSPNの近似解法}, volume = {17}, year = {2005} }