Publisher
Springer International Publishing
Reference12 articles.
1. Baeten, J., van Beek, D.A., Rooda, J.: Process algebra. In: Handbook of Dynamic System Modeling, pp. 19–21 (2007)
2. Ben-Ari, M.: Teaching concurrency and nondeterminism with spin. In: ACM SIGCSE Bulletin, vol. 39, pp. 363–364. ACM (2007)
3. Carr, S., Mayo, J., Shene, C.K.: ThreadMentor: a pedagogical tool for multithreaded programming. J. Educ. Resour. Comput. 3(1), 1-es (2003)
4. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual, vol. 1003. Addison-Wesley Reading, Boston (2004)
5. Jamieson, S., et al.: Likert scales: how to (ab) use them. Med. Educ. 38(12), 1217–1218 (2004)