Record number :
9690
Title :
Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011
Published Year :
0
Reprint :
False
Language :
انگليسي
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=7&DC=9690