[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - LTL Guided Planning: Revisiting Automatic Tool Composition in ETI

Margaria, Tiziana; Margaria, Tiziana; Margaria, Tiziana; Margaria, Tiziana; Steffen, Bernhard; Steffen, Bernhard; Steffen, Bernhard; Steffen, Bernhard

作者Margaria, Tiziana; Margaria, Tiziana; Margaria, Tiziana; Margaria, Tiziana; Steffen, Bernhard; Steffen, Bernhard; Steffen, Bernhard; Steffen, Bernhard
文件大小235.92KB
发表时间2007
DOI10.1109/sew.2007.63
页码214-226

发现好书期刊，享受阅读乐趣

[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - LTL Guided Planning: Revisiting Automatic Tool Composition in ETI