Building a new CTL model checker using Web services.

Florin Stoica, Laura Florentina Stoica

Browse the full SOFTCOM paper archive.