Model checking unbounded concurrent lists

Author

Divjyot Sethi, Muralidhar Talupur, Sharad Malik

Publication Year

2016

Type

Journal Article

Journal

International Journal on Software Tools for Technology Transfer

Volume

18

Issue

4

Pages

375–391