马丁·朗 0001
人员信息
附属: RWTH亚琛大学,Informatik 7,德国
优化列表
2010 – 2019
2015 【c5】 卢卡斯·凯泽 , 马丁·朗 , 西蒙·勒伊尼奇(Simon Leßenich) , 克里斯托夫·洛丁 :
MSO中有界属性的统一方法。 CSL公司 2015 : 441-456 2014 【c4】 马丁·朗 :
下推图上的资源可达性游戏。 FoSSaCS公司 2014 : 195-209 【c3】 马丁·朗 , 克里斯托夫·洛丁 , 阿马尔德夫·曼纽尔 :
成本逻辑和自动结构的可定义性和转换。 MFCS(1) 2014 : 390-401 2013 [j1] 马丁·朗 , 克里斯托夫·洛丁 :
具有资源的无限系统的建模与验证。 日志。 计算方法。 科学。 9 ( 4 ) ( 2013 ) 2012 【c2】 马丁·朗 :
Erreichbarkeit mit Ressourcenschranken für Pushdownsysteme公司。 信息故事 2012 : 27-30 【c1】 埃利亚斯·温加特纳 , 雷内·格莱贝克 , 马丁·朗 , 克劳斯·韦尔 :
为ns-3构建模块化BitTorrent模型。 SimuTools(模拟工具) 2012 : 337-344