Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems.

K. S. Shankar, C. Sekar Chandersekaran

Browse the full ICSE paper archive.