交互式马尔可夫链：并发系统的设计、验证与评价

Main Authors: 吴尽昭 (著); 王永祥 (著); 覃广平 (著)
Published: 科学出版社
Publication Dates: 2007
Call Number: O211.62/6876