Skip header navigation
×

Other

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

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
EditorsDr Savi Maharaj, Professor Carron Shankland
Publication date30/04/2003
PublisherSpringer
Publisher URLhttp://link.springer.com/journal/165/14/3
ISSN0934-5043
Scroll back to the top