MISC

Basic information

Name Kondou Masafumi
Belonging department
Occupation name
researchmap researcher code B000300091
researchmap agency Okayama University of Science

Title

SMTソルバを用いた時間ペトリネットの非有界モデル検査

Bibliography Type

Author

井川直
横川智教
近藤真史
佐藤洋一郎
有本和民

Summary

Magazine(name)

電子情報通信学会技術研究報告(MSS)

Publisher

Volume

118

Number Of Pages

384

StartingPage

79

EndingPage

84

Date of Issue

2019/01

Referee

Not exist

Request

Not exist

Language

Posting type

ISSN

DOI

NAID

PMID

URL

J-GLOBAL ID

arXiv ID

ORCID Put Code

DBLP ID