Florin Stoica, Laura Florentina Stoica. Implementing an ATL model checker tool using relational algebra concepts. In Nikola Rozic, Dinko Begusic, editors, 22nd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2014, Split, Croatia, September 17-19, 2014. pages 361-366, IEEE, 2014. [doi]
Abstract is missing.