霍尔格赫尔曼斯;Joost-Pieter卡托恩 用于普通电话系统的自动组合马尔可夫链生成。 （英语） 兹伯利0941.68649 科学。计算。程序。 36，第1期，97-127（2000）。 引用于12文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：CADP公司;LOTOS公司 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}和\textit{J.-P.Katoen}，科学。计算。程序。36，第1号，97--127（2000；Zbl 0941.68649） 全文： 内政部