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 | |
| ISSN | 0934-5043 |
| eISSN | 1433-299X |
People (1)
Senior Lecturer, Computing Science