Contribution of Logic Programming to Support Telecommunications Protocol Tests.

Didier Ladret, Michel Rueher

Browse the full ICLP paper archive.