Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella. Model Checking Mutual Exclusion Algorithms Using Uppaal. In Radek Silhavy, Roman Senkerik, Zuzana Komínková Oplatková, Petr Silhavy, Zdenka Prokopova, editors, Software Engineering Perspectives and Application in Intelligent Systems - Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2. Volume 465 of Advances in Intelligent Systems and Computing, pages 203-215, Springer, 2016. [doi]
Abstract is missing.