Leander Tentrup等人：在双指数时间内迅速实现TL的近似最优边界（2016） 日记账/corr/TentrupWZ15 10.4204/EPTCS.226.21 1511.09450 双指数时间下即时LTL可实现性的最优界逼近 三 Leander Tentrup公司 1 亚历山大·韦纳 2 马丁·齐默尔曼0002 三 302-315 甘道夫 甘道夫 2016 2016 dblp记录“journals/corr/TentrupWZ15”的RDF数据的来源信息 2019-10-19 T19:22:54+0200