Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

First-Order Transitive Closure Axiomatization via Iterative Invariant Injections

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Aboubakr Achraf El Ghazi, Mana Taghdiri und Mihai Herda
In:7th NASA Formal Methods Symposium (NFM 2015)
Jahr:2015
Seiten:143-157

BibTeX

@InProceedings{a.a.elghazi-nfm2015,
    author     = {Aboubakr Achraf {El Ghazi} and Mana Taghdiri and Mihai Herda},
    title         = {First-Order Transitive Closure Axiomatization via Iterative Invariant Injections},
    booktitle  = {7th NASA Formal Methods Symposium (NFM 2015)},
    pages      = {143-157},
    address   = {Pasadena},
    year        = {2015},
    month     = {April}
}