Edited Proceedings
Details
Citation
Shankland C, Romijn J & Maharaj S (eds.) (2001) IEEE 1394 (Firewire) Workshop: International Workshop on Applications of Formal Methods to IEEE 1394 Standard. IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, Stirling, Scotland, 13.03.2001-13.03.2001. Stirling, Scotland: University of Stirling,Dept of Computing Science & Maths.
| Status | Published |
|---|---|
| Editor | Dr Savi Maharaj |
| Publication date | 31/12/2001 |
| Related URLs | http://www.cs.stir.ac.uk/firewire-workshop/workshop.html |
| Publisher | University of Stirling,Dept of Computing Science & Maths |
| Place of publication | Stirling, Scotland |
| ISBN | 9781857691535 |
| Conference | IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard |
| Conference location | Stirling, Scotland |
| Dates |
People (1)
Senior Lecturer, Computing Science