Skip to main content
Article thumbnail
Location of Repository

Compaction of state space and state space search for optimization problems in the SLIM parallel model checker

By 聡基 川端
Year: 2012
OAI identifier: oai:dspace.wul.waseda.ac.jp:2065/36056

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.