刘林;乔纳森·比林顿 简化参数自动机：多媒体协议服务案例研究。 （英语） 兹比尔1108.68327 Wang，Farn（编辑），验证和分析自动化技术。2004年10月31日至11月3日，第二届国际会议，ATVA 2004，中华民国台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23610-4/pbk）。计算机科学课堂讲稿3299，483-486（2004）。MSC公司：68个M12 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛L.Liu｝和\textit｛J.Billington｝，Lect。注释计算。科学。3299483-486（2004年；兹bl 1108.68327） 全文： DOI程序
刘林;乔纳森·比林顿 处理多媒体控制协议服务规范的无限状态空间。 （英语） 兹比尔1047.68504 Esparza，Javier（编辑）等人，《Petri网的应用和理论》，2002年。第23届国际会议，ICATPN 2002，澳大利亚阿德莱德，2002年6月24-30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43787-8）。莱克特。注释计算。科学。2360, 273-293 (2002).MSC公司：68M10个 68个M12 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}和\textit{J.Billington}，Lect。注释计算。科学。2360273--293（2002年；Zbl 1047.68504） 全文： 链接