Conference Proceeding

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
EditorsDr Savi Maharaj, Professor Carron Shankland
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 (2)

People

Dr Savi Maharaj
Dr Savi Maharaj

Senior Lecturer, Computing Science

Professor Carron Shankland
Professor Carron Shankland

Professor, Computing Science