文献

J-GLOBAL ID：201202222955835700   整理番号：12A1028745

確率的双模倣性の探査、第一部

Exploring probabilistic bisimulations, part I

著者 (1件)： HENNESSY Matthew (Trinity Coll., Dep. of Computer Sci., Dublin 1, Ireland)
資料名： Formal Aspects of Computing  (Formal Aspects of Computing)
巻： 24  号： 4-6  ページ： 749-768  発行年： 2012年07月 
JST資料番号： T0973A  ISSN： 0934-5043  資料種別： 逐次刊行物 (A)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： 確率 ,  模倣 ,  探査