仓廪 Granary
Stores 50% of Food after Growth
About Me
Archive
feeds
Categories
周记 (2)
工作 (1)
当然我在扯淡 (3)
见闻 (0)
我不是新闻工作者 (2)
Mathematica (1)
睾能效人士 (1)
音乐 (1)
脑洞 (3)
梦境 (2)
Formal-Methods (1)
同学 (1)
作文 (0)
自然语言 (1)
数学 (1)
经济学 (1)
戡乱 (1)
读书 (1)
世界观 (1)
实用 (1)
All categories
Category: Formal-Methods
2016
Jan 22
用 UPPAAL 解「乌鸦走红蓝交替迷宫」
