ByMC: Byzantine Model Checker (bibtex)
by Igor Konnov, Josef Widder
Reference:
ByMC: Byzantine Model CheckerIgor Konnov, Josef WidderISOLA, 2018.Note: (to appear)
Bibtex Entry:
@InProceedings{KW18,
                              author =   {Igor Konnov and Josef Widder},
                                title =      {{ByMC:} {Byzantine} Model Checker},
                                  OPTcrossref =  {},
                                    OPTkey =     {},
                                      booktitle = {ISOLA},
                                        year =   {2018},
                                          OPTeditor =    {},
                                            OPTvolume =      {},
                                              OPTnumber =    {},
                                                series =     {LNCS},
                                                  OPTpages =     {},
                                                    OPTmonth =   {},
                                                      OPTaddress =   {},
                                                        OPTorganization = {},
                                                          OPTpublisher = {},
                                                            note =   {(to appear)},
                                                              OPTannote =    {}
                                                              }
Powered by bibtexbrowser