Edited Proceedings

IEEE 1394 (Firewire) Workshop: International Workshop on Applications of Formal Methods to IEEE 1394 Standard

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.

StatusPublished
EditorDr Savi Maharaj
Publication date31/12/2001
Related URLshttp://www.cs.stir.ac.uk/firewire-workshop/workshop.html
PublisherUniversity of Stirling,Dept of Computing Science & Maths
Place of publicationStirling, Scotland
ISBN9781857691535
ConferenceIEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard
Conference locationStirling, Scotland
Dates

People (1)

Dr Savi Maharaj

Dr Savi Maharaj

Senior Lecturer, Computing Science