Extending Rackoff's EXPSPACE Technique
Blockelet and Schmitz, 2011
Summary
(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 },
}