Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Hiroyuki Inoue' in GoogleThis author has not been identified. Look up 'Tatsuhiro Tsuchiya' in GoogleThis author has not been identified. Look up 'Tohru Kikuno' in Google

runs on WebDSL