Formal methods & service specification

Mac an Airchinning, Michael; Belsnes, Dag; O'Regan, Gerard

September 07, 1994

DART

• ISBN:
• Author(s): Mac an Airchinning, Michael; Belsnes, Dag; O'Regan, Gerard
• Title: Formal methods & service specification
• Volume/number: 851
• Name and number of project:
• Journal: Lecture Notes in Computer Science
• Page(s): 563-572
• Conference: Second International Conference on Intelligence in Broadband Services and Networks, IS&N'94. Proceed
• Refereed: 1
• Publisher: Springer Verlag
• Published date: September 07, 1994
• Book title:
• Editor: