Research output

Journal (as Editor) ()

Formal Methods applied to IEEE 1394: A Comparative Case Study. Special issue of Formal Aspects of Computing

Citation
Cooke J, Maharaj S, Romijn J & Shankland C (ed.) (2003) Formal Methods applied to IEEE 1394: A Comparative Case Study. Special issue of Formal Aspects of Computing. 14 (3).

StatusPublished
Publication date04/2003
URLhttp://link.springer.com/journal/165/14/3
PublisherSpringer
LanguageEnglish
© University of Stirling FK9 4LA Scotland UK • Telephone +44 1786 473171 • Scottish Charity No SC011159
My Portal