Other

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

Details

Citation

Cooke J (Editor), Maharaj S (Editor), Romijn J (Editor) & Shankland C (Editor) (2003) Formal Methods applied to IEEE 1394: A Comparative Case Study. Special issue of Formal Aspects of Computing. Formal Aspects of Computing, 14 (3). http://link.springer.com/journal/165/14/3

StatusPublished
EditorDr Savi Maharaj
Publication date30/04/2003
PublisherSpringer
Publisher URLhttp://link.springer.com/journal/165/14/3
ISSN0934-5043

People (1)

Dr Savi Maharaj

Dr Savi Maharaj

Senior Lecturer, Computing Science