Other
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
Status | Published |
---|---|
Editor | Dr Savi Maharaj |
Publication date | 30/04/2003 |
Publisher | Springer |
Publisher URL | http://link.springer.com/journal/165/14/3 |
ISSN | 0934-5043 |
eISSN | 1433-299X |
People (1)
Senior Lecturer, Computing Science