Automated derivation of protocols implementing Intelligent Network services

• Authors:

• M. Pučko;M. Kapus-Kolar;G. Kandus

• Affiliations:

• -;-;-

• Venue:
• Selected papers of the short notes session on Euromicro '94
• Year:
• 1994