iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/ftscs/VuCYA14.nt
. . . . "Dieu-Huong Vu et al.: Checking the Conformance of a Promela Design to its Formal Specification in Event-B. (2014)" . . _:ID_6b910f5da6e8a58bb93ad28bdaa0310c . _:ID_6b910f5da6e8a58bb93ad28bdaa0310c . _:ID_6b910f5da6e8a58bb93ad28bdaa0310c . _:ID_6b910f5da6e8a58bb93ad28bdaa0310c . _:ID_6b910f5da6e8a58bb93ad28bdaa0310c "conf/ftscs/VuCYA14" . _:ID_0d74fbad84e9d188ce864c842f69d217 . _:ID_0d74fbad84e9d188ce864c842f69d217 . _:ID_0d74fbad84e9d188ce864c842f69d217 . _:ID_0d74fbad84e9d188ce864c842f69d217 . _:ID_0d74fbad84e9d188ce864c842f69d217 "10.1007/978-3-319-17581-2_8" . "Checking the Conformance of a Promela Design to its Formal Specification in Event-B." . . . . . . . . . . "4"^^ . _:Sig_8205271af6a22acfcfaeea492a59b650_1 . _:Sig_8205271af6a22acfcfaeea492a59b650_1 . _:Sig_8205271af6a22acfcfaeea492a59b650_1 . _:Sig_8205271af6a22acfcfaeea492a59b650_1 "Dieu-Huong Vu" . _:Sig_8205271af6a22acfcfaeea492a59b650_1 . _:Sig_8205271af6a22acfcfaeea492a59b650_1 "1"^^ . _:Sig_8205271af6a22acfcfaeea492a59b650_1 . _:Sig_8205271af6a22acfcfaeea492a59b650_2 . _:Sig_8205271af6a22acfcfaeea492a59b650_2 . _:Sig_8205271af6a22acfcfaeea492a59b650_2 . _:Sig_8205271af6a22acfcfaeea492a59b650_2 "Yuki Chiba" . _:Sig_8205271af6a22acfcfaeea492a59b650_2 . _:Sig_8205271af6a22acfcfaeea492a59b650_2 "2"^^ . _:Sig_8205271af6a22acfcfaeea492a59b650_2 . _:Sig_8205271af6a22acfcfaeea492a59b650_3 . _:Sig_8205271af6a22acfcfaeea492a59b650_3 . _:Sig_8205271af6a22acfcfaeea492a59b650_3 . _:Sig_8205271af6a22acfcfaeea492a59b650_3 "Kenro Yatake" . _:Sig_8205271af6a22acfcfaeea492a59b650_3 . _:Sig_8205271af6a22acfcfaeea492a59b650_3 "3"^^ . _:Sig_8205271af6a22acfcfaeea492a59b650_3 . _:Sig_8205271af6a22acfcfaeea492a59b650_4 . _:Sig_8205271af6a22acfcfaeea492a59b650_4 . _:Sig_8205271af6a22acfcfaeea492a59b650_4 . _:Sig_8205271af6a22acfcfaeea492a59b650_4 "Toshiaki Aoki" . _:Sig_8205271af6a22acfcfaeea492a59b650_4 . _:Sig_8205271af6a22acfcfaeea492a59b650_4 . _:Sig_8205271af6a22acfcfaeea492a59b650_4 "4"^^ . _:Sig_8205271af6a22acfcfaeea492a59b650_4 . . . . . "110-126" . "FTSCS" . "FTSCS" . "2014"^^ . "2015"^^ . . "provenance information for RDF data of dblp record 'conf/ftscs/VuCYA14'" . . . . "2022-12-07T23:14:08+0100" .