Merkliste 
 1 Ergebnisse 
 
1

An optimized method towards formal verification of mixed si..:

D.S., Vidya ; Ramachandra, Manjunath
International Journal of Electrical and Computer Engineering (IJECE).  9 (2019)  5 - p. 3423 , 2019