Model Checking Coverability Graphs of Vector Addition Systems

Michel Blockelet, Sylvain Schmitz. Model Checking Coverability Graphs of Vector Addition Systems. In Filip Murlak, Piotr Sankowski, editors, Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings. Volume 6907 of Lecture Notes in Computer Science, pages 108-119, Springer, 2011. [doi]

Abstract

Abstract is missing.