. . . . . 《Benjamin Weyers和Wolfram Luther:用户界面的形式化建模和重新配置》（2010）。 . . _：ID_5505c6f7a1d142db34fb030de77d979a。_：ID_5505c6f7a1d142db34fb030de77d979a ._：ID_5505c6f7a1d142db34fb030de77d979a ._：ID_5505c6f7a1d142db34fb030de77d979a“conf/scc/WeyersL10”。 _：ID_186ccca07018161e4232fc8c99bac24c。_：ID_186ccca07018161e4232fc8c99bac24c ._：ID_186ccca07018161e4232fc8c99bac24c ._：ID_186ccca07018161e4232fc8c99bac24c“10.1109/SCCC.2010.17”。 “用户界面的形式化建模和重新配置”。 . . . "2"^^. _：Sig_f354ee47c5bd0e97d34a2a5e0b696356_1。_：Sig_f354ee47c5bd0e97d34a2a5e0b696356_1 ._：Sig_f354ee47c5bd0e97d34a2a5e0b696356_1“本杰明·韦耶斯”。_：Sig_f354ee47c5bd0e97d34a2a5e0b696356_1 ._：Sig_f354ee47c5bd0e97d34a2a5e0b696356_1 ._：Sig_f354ee47c5bd0e97d34a2a5e0b696356_1"1"^^._：Sig_f354ee47c5bd0e97d34a2a5e0b696356_1 . _：Sig_f354ee47c5bd0e97d34a2a5e0b696356_2。_：Sig_f354ee47c5bd0e97d34a2a5e0b696356_2 ._：Sig_f354ee47c5bd0e97d34a2a5e0b696356_2“沃尔夫拉姆·路德”。_：Sig_f354ee47c5bd0e97d34a2a5e0b696356_2 ._：Sig_f354ee47c5bd0e97d34a2a5e0b696356_2"2"^^._：Sig_f354ee47c5bd0e97d34a2a5e0b696356_2 . . . . . "236-245" . “SCCC”。 “SCCC”。 "2010"^^. "2010"^^. . “dblp记录‘conf/scc/WeyersL10’的RDF数据的来源信息”。 . . . “2023-03-23T23:59:53+0100”。