column value
書名 Construction and analysis of transition systems with MEC
作者 Andre Arnold, Didier Begay, Paul Crubille
版本
出版社 World Scientific