QQ客服 官方微博 反馈留言

	基于SPIN求解狼和白菜过河问题
	姚雪梅; 艾颖
	2014
卷号	0期号:2页码:35-37
关键词	Cygwin Promela ispin spin
URL标识	查看原文
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/6214154
专题	贵州大学
作者单位	1.[1]贵州大学计算机科学与信息学院 2.[2]铜仁职业技术学院信息工程学院 3.[3]铜仁职业技术学院医学院
推荐引用方式 GB/T 7714	姚雪梅,艾颖. 基于SPIN求解狼和白菜过河问题[J],2014,0(2):35-37.
APA	姚雪梅,&艾颖.(2014).基于SPIN求解狼和白菜过河问题.,0(2),35-37.
MLA	姚雪梅,et al."基于SPIN求解狼和白菜过河问题".0.2(2014):35-37.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。