. . . . . “B\u00E9atrice B\u0E9rard等人：中断时间自动机：验证和表达。（2012）”。 . . _：ID_2b60ad4a2787ebb57c9dc1ea93e125b6。_：ID_2b60ad4a2787ebb57c9dc1ea93e125b6 ._：ID_2b60ad4a2787ebb57c9dc1ea93e125b6 ._：ID_2b60ad4a2787ebb57c9dc1ea93e125b6“期刊/fmsd/BerardHS12”。 _：ID_5a8e18c9d2864c326a339a1aa934949e。_：ID_5a8e18c9d2864c326a339a1aa934949e ._：ID_5a8e18c9d2864c326a339a1aa934949e ._：ID_5a8e18c9d2864c326a339a1aa934949e“10.1007/S10703-0111-0140-2”。 “中断时间自动机：验证和表达。”。 . . . . "3"^^. _：Sig_eeb94d0883114af93ff661a8ef6a84fa_1。_：Sig_eeb94d0883114af93ff661a8ef6a84fa_1 ._：Sig_eeb94d0883114af93ff661a8ef6a84fa_1“B\u00E9atrice B\u0E9rard”。_：Sig_eeb94d0883114af93ff661a8ef6a84fa_1 ._：Sig_eeb94d0883114af93ff661a8ef6a84fa_1"1"^^._：Sig_eeb94d0883114af93ff661a8ef6a84fa_1 . _：Sig_eeb94d0883114af93ff661a8ef6a84fa_2。_：Sig_eeb94d0883114af93ff661a8ef6a84fa_2 ._：Sig_eeb94d0883114af93ff661a8ef6a84fa_2“谢尔盖·哈达德”。_：Sig_eeb94d0883114af93ff661a8ef6a84fa_2 ._：Sig_eeb94d0883114af93ff661a8ef6a84fa_2"2"^^._：Sig_eeb94d0883114af93ff661a8ef6a84fa_2 . _：Sig_eeb94d0883114af93ff661a8ef6a84fa_3。_：Sig_eeb94d0883114af93ff661a8ef6a84fa_3 ._：Sig_eeb94d0883114af93ff661a8ef6a84fa_3“马修·萨索拉斯”。_：Sig_eeb94d0883114af93ff661a8ef6a84fa_3 ._：Sig_eeb94d0883114af93ff661a8ef6a84fa_3"3"^^._：Sig_eeb94d0883114af93ff661a8ef6a84fa_3 . . . . "41-87" . “形式方法系统设计”。 “形式方法系统设计”。 “40”。 "1" . "2012"^^. “dblp记录'journals/fmsd/BerardHS12'的RDF数据的起源信息”。 . . . “2020-03-13T10:55:26+0100”。