iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/fmcad/TalupurRE15.nt
.
.
.
.
"Murali Talupur et al.: Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols. (2015)" .
.
_:ID_9eaa3dd8dbe21db4309b2b848a4a8835 . _:ID_9eaa3dd8dbe21db4309b2b848a4a8835
. _:ID_9eaa3dd8dbe21db4309b2b848a4a8835
. _:ID_9eaa3dd8dbe21db4309b2b848a4a8835
. _:ID_9eaa3dd8dbe21db4309b2b848a4a8835
"conf/fmcad/TalupurRE15" .
_:ID_861a49e3ed722cb17be293f6cc396004 . _:ID_861a49e3ed722cb17be293f6cc396004
. _:ID_861a49e3ed722cb17be293f6cc396004
. _:ID_861a49e3ed722cb17be293f6cc396004
. _:ID_861a49e3ed722cb17be293f6cc396004
"10.1109/FMCAD.2015.7542267" .
"Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_56e245a7aabfdef8e8d3335359284979_1 . _:Sig_56e245a7aabfdef8e8d3335359284979_1
. _:Sig_56e245a7aabfdef8e8d3335359284979_1
. _:Sig_56e245a7aabfdef8e8d3335359284979_1
"Murali Talupur" . _:Sig_56e245a7aabfdef8e8d3335359284979_1
. _:Sig_56e245a7aabfdef8e8d3335359284979_1
"1"^^
. _:Sig_56e245a7aabfdef8e8d3335359284979_1
.
_:Sig_56e245a7aabfdef8e8d3335359284979_2 . _:Sig_56e245a7aabfdef8e8d3335359284979_2
. _:Sig_56e245a7aabfdef8e8d3335359284979_2
. _:Sig_56e245a7aabfdef8e8d3335359284979_2
"Sandip Ray" . _:Sig_56e245a7aabfdef8e8d3335359284979_2
. _:Sig_56e245a7aabfdef8e8d3335359284979_2
"2"^^
. _:Sig_56e245a7aabfdef8e8d3335359284979_2
.
_:Sig_56e245a7aabfdef8e8d3335359284979_3 . _:Sig_56e245a7aabfdef8e8d3335359284979_3
. _:Sig_56e245a7aabfdef8e8d3335359284979_3
. _:Sig_56e245a7aabfdef8e8d3335359284979_3
"John Erickson" . _:Sig_56e245a7aabfdef8e8d3335359284979_3
. _:Sig_56e245a7aabfdef8e8d3335359284979_3
"3"^^
. _:Sig_56e245a7aabfdef8e8d3335359284979_3
.
.
.
.
.
"168-175" .
"FMCAD" .
"FMCAD" .
"2015"^^
.
"2015"^^
.
.
"provenance information for RDF data of dblp record 'conf/fmcad/TalupurRE15'" .
.
.
.
"2023-05-30T17:04:45+0200" .
