Efficient techniques of parallel state space search and partial order reduction for LMNtal program verification

Autor:	Gocho, Masato
Přispěvatelé:	上田, 和紀, 上田研究室
Jazyk:	japonština
Rok vydání:	2011
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=jairo_______::aecc2769ec8e680640ac583fb494f080 http://hdl.handle.net/2065/33988 Zobrazit plný text záznamu