Handling industrial hazards by pre-emptive model checking [Electronic resource]
Kuusik, Alar
;
Otto, Tauno
;
Vain, Jüri
4th International Conference on Industrial Automation : June 9-11, 2003, Montreal, Canada : proceedings
2003
/
[4] p. : ill. [CD-ROM]
https://www.academia.edu/17640340/Handling_Industrial_Hazards_by_Pre_emptive_Model_Checking