|
|
|
|
Intelligent modeling and verification 2014
|
|
|
|
|
|
|
|
نویسنده
|
luo g. ,song x. ,yang x. ,thulasiraman k.
|
|
منبع
|
journal of applied mathematics - 2014 - دوره : 2014 - شماره : 0
|
|
چکیده
|
[no abstract available]
|
|
|
|
|
آدرس
|
school of software,tsinghua university, China, maseeh college of electrical and computer engineering,portland state university,p.o. box 751,portland, United States, department of mathematical sciences,tsinghua university, China, school of computer science,university of oklahoma,200 felgar street,norman, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|