1. Lecture Notes in Computer Science;E Clarke,2004
2. Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Pasareanu, C.S., Robby, Zheng, H.: Bandera: extracting finite-state models from Java source code. In: Ghezzi, C., Jazayeri, M., Wolf, A.L. (eds.) Proceedings of the 22nd International Conference on Software Engineering, ICSE 2000, Limerick Ireland, 4–11 June 2000, pp. 439–448. ACM (2000).
http://doi.acm.org/10.1145/337180.337234
3. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. MIT Press, Cambridge (2009)
4. Evangelista, S., Pajault, C.: Solving the ignoring problem for partial order reduction. STTT 12(2), 155–170 (2010).
https://doi.org/10.1007/s10009-010-0137-y
5. Floinn, E.Ó.: Model of dining philosophers’ problem in the Promela verification language (2016).
https://github.com/oflynned/DiningPhilosophersPromela
. Accessed 2 May 2018