Decidability of Parameterized Verification (bibtex)
by Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
Reference:
Decidability of Parameterized VerificationRoderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widderpages 170, 2015.
Bibtex Entry:
@Book{synth,
    author = { Roderick Bloem and Swen Jacobs and Ayrat Khalimov
      and Igor Konnov and Sasha Rubin and Helmut Veith  and Josef Widder },
    title = {Decidability of Parameterized Verification},
    series = {Synthesis Lectures on Distributed Computing Theory},
    pages = {170},
    year = {2015},
    doi = {10.2200/S00658ED1V01Y201508DCT013},
    issn = {2155-1626},
    URL = { http://dx.doi.org/10.2200/S00658ED1V01Y201508DCT013 },
    eprint = { http://dx.doi.org/10.2200/S00658ED1V01Y201508DCT013 }
}
Powered by bibtexbrowser