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 WidderACM SIGACT News, volume 47, number 2, pages 53-64, jun 2016.
Bibtex Entry:
@article{synthpaper,
    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},
    journal =  {{ACM SIGACT News}},
    month = jun,
    volume = 47,
    number = 2,
    pages = {53--64},
    year = {2016},
    url = {http://forsyte.at/wp-content/uploads/p53-bloem.pdf}
}
Powered by bibtexbrowser