UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 5229

What use are Formal Analysis and Design Methods to Telecommunications Services?
Calder,M.

Publication Type: Conference Proceedings
Appeared in: Feature Interactions in Telecommunications and Software Systems V, K. Kimbler and L.G. Bouma, (eds.)
Page Numbers : 10-31
Publisher: IOS Press
Year: 1998
ISBN/ISSN:

Note: Invited Paper

Abstract:

No abstract available.


PS/PS.GZ Bibtex entry Endnote XML