Normal view
MARC view
Interrupt (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Brazilian Symposium on Formal Methods (12th : 2009 : Gramado, Brazil) 36981, Formal methods :, ©2009.