Use of Logic to Describe Enhanced Communications Services.

Stephan Reiff-Marganiec, Kenneth J. Turner

Browse the full FORTE paper archive.