(2016). Distributed explicit state model checking. Undergraduate Research Abstracts Journal (2001-2008), 5. Retrieved from https://epubs.utah.edu/index.php/uraj/article/view/1989