Blockelet and Schmitz, 2011

Summary

Michel Blockelet and Sylvain Schmitz (2011) Model-Checking Coverability Graphs of Vector Addition Systems MFCS 2011 Lecture Notes in Computer Science vol. 6907 Filip Murlak and Piotr Sankowski Springer 108–119 (URL)

BibTeX entry

@INPROCEEDINGS { BS-mfcs11,
    ADDRESS = { Warsaw, Poland },
    AUTHOR = { Blockelet, Michel and Schmitz, Sylvain },
    BOOKTITLE = { MFCS 2011 },
    CONFNAME = { International Symposium on Mathematical Foundations of Computer Science },
    CONFNUM = { 36th },
    DOI = { 10.1007/978-3-642-22993-0_13 },
    EDITOR = { Murlak, Filip and Sankowski, Piotr },
    MONTH = { },
    PAGES = { 108--119 },
    PUBLISHER = { Springer },
    SERIES = { Lecture Notes in Computer Science },
    TITLE = { Model-Checking Coverability Graphs of Vector Addition Systems },
    URL = { http://hal.archives-ouvertes.fr/hal-00600077/ },
    VOLUME = { 6907 },
    YEAR = { 2011 },
}