迈克尔·科勒-布·迈耶;弗兰克·海特曼 安全基本黄蜂可达性问题的上界。 (英语) Zbl 1358.68215号 芬丹。通知。 143,编号1-2,89-100(2016).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Köhler-Bußmeier}和\textit{F.Heitmann},Fundam。通知。143,编号1--2,89-100(2016;Zbl 1358.68215) 全文: 内政部
迈克尔·科勒-布·迈耶;弗兰克·海特曼 初级黄蜂的复杂性结果。 (英语) Zbl 1381.68207号 Colom,José-Manuel(编辑)等人,《Petri网和并发的应用和理论》。第34届国际会议,2013年6月24日至28日,意大利米兰,PETRI NETS 2013。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38696-1/pbk)。计算机科学课堂讲稿7927150-169(2013)。MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Köhler-Bußmeier}和\textit{F.Heitmann},莱克特。票据计算。科学。7927150-169(2013年;Zbl 1381.68207) 全文: 内政部