Bonnet et al, 2012

Summary

Rémi Bonnet, Alain Finkel, Jérôme Leroux, and Marc Zeitoun (2012) Model Checking Vector Addition Systems with one zero-test Logical Methods in Computer Science, 8(2):11 (URL)

BibTeX entry

@ARTICLE { BFLZ-lmcs2012,
    AUTHOR = { R\'emi Bonnet and Alain Finkel and J\'er\^ome Leroux and Marc Zeitoun },
    TITLE = { Model Checking {V}ector {A}ddition {S}ystems with one zero-test },
    JOURNAL = { Logical Methods in Computer Science },
    VOLUME = { 8 },
    NUMBER = { 2 },
    PAGES = { 11 },
    DOI = { 10.2168/LMCS-8(2:11)2012 },
    YEAR = { 2012 },
    MONTH = { },
}