Modern formal methods and applications

Modern Formal Methods and Applications

Volumn , Issue , 2006, Pages 1-197

  Gabbar, Hossam A ^a  

^a OKAYAMA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84889996249     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/1-4020-4223-X     Document Type: Book

References (0)