Implementing an ATL model checker tool using relational algebra concepts.

Florin Stoica, Laura Florentina Stoica

Browse the full SOFTCOM paper archive.