麝香草，安卡 分布式控制器的自动合成。 （英语） Zbl 1440.68178号 Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9135, 11-27 (2015).MSC公司：68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.Muscholl}，莱克特。注释计算。科学。9135，11-27（2015；Zbl 1440.68178） 全文： 内政部 arXiv公司
麝香草，安卡 关于分布式监视和合成。 （英语） Zbl 1459.68017号 Beckmann，Arnold（编辑）等人，《进化可计算性》。2015年6月29日至7月3日在罗马尼亚布加勒斯特举行的第十一届欧洲可计算性会议，CiE 2015。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9136, 54-62 (2015).MSC公司：64岁以下 68甲19 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Muscholl}，莱克特。注释计算。科学。9136，54-62（2015；Zbl 1459.68017） 全文： 内政部
布莱斯·基内斯特;麝香草，安卡 分层消息序列图的模式匹配和成员身份。 （英语） Zbl 1140.68038号 理论计算。系统。 42，第4期，536-567（2008）.MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛B.Genest｝和\textit｛A.Muscholl｝，理论计算。系统。42，编号4，536--567（2008年；兹bl 1140.68038） 全文： 内政部
艾哈迈德·布瓦贾尼;麝香草，安卡;泰瑟·图利 置换重写和算法验证。 （英语） Zbl 1107.68052号 Inf.计算。 205，第2期，199-224（2007）.MSC公司：60年第68季度 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人，《Inf.Compute》。205，第2号，199--224（2007；Zbl 1107.68052） 全文： 内政部
布莱斯·基内斯特;迪特里赫·库斯克;麝香草，安卡 存在有界通信自动机的Kleene定理和模型检查算法。 （英语） Zbl 1104.68066号 Inf.计算。 204，编号6920-956（2006）.MSC公司：60年第68季度 68瓦05 65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Genest}等人，《信息计算》。204，第6号，920--956（2006；Zbl 1104.68066） 全文： 内政部
布莱斯·基内斯特;麝香草，安卡;赫尔穆特·塞德尔;马克·泽顿 无限状态高级MSC：模型检查和可实现性。 （英语） Zbl 1105.68071号 J.计算。系统。科学。 72，第4期，617-647（2006）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Genest}等人，《计算杂志》。系统。科学。72，第4号，617--647（2006；Zbl 1105.68071） 全文： 内政部
马库斯·洛伊;麝香草，安卡 有界MSC通信。 （英语） Zbl 1091.68006号 Inf.计算。 189，第2期，160-181（2004）.MSC公司：68个M12 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey}和\textit{A.Muscholl}，Inf.Compute。189，编号2，160--181（2004；Zbl 1091.68006） 全文： 内政部