Handling industrial hazards by pre-emptive model checking [Electronic resource]

statement of authorship
Alar Kuusik, Tauno Otto, Jüri Vain
source
4th International Conference on Industrial Automation : June 9-11, 2003, Montreal, Canada : proceedings
location of publication
[S.l.]
year of publication
pages
[4] p. : ill. [CD-ROM]
conference name, date
4th International Conference on Industrial Automation, June 9-11, 2003
conference location
Montreal, Canada
ISBN
2-9802846-3-2
notes
Bibliogr.: 7 ref
language
inglise
Kuusik, A., Otto, T., Vain, J. Handling industrial hazards by pre-emptive model checking [Electronic resource] // 4th International Conference on Industrial Automation : June 9-11, 2003, Montreal, Canada : proceedings. [S.l.], 2003. [4] p. : ill. [CD-ROM].