Hiroyuki Inoue, Tatsuhiro Tsuchiya, Tohru Kikuno. Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables. In Second International Conference on Networking and Computing, ICNC 2011, November 30 - December 2, 2011, Osaka, Japan. pages 261-265, IEEE Computer Society, 2011. [doi]
Abstract is missing.