| Journal Paper | Journal Paper Information |
|---|---|
| Name | Muhammad Khalid Sohail |
| Co-Authors | Rahim, M. A |
| Department | Management Sciences |
| Title OF Paper | Formal verification of reconfigurable systems |
| Title Of Journal | soft computing |
| Paper Type | ISI Index With Impact Factor |
| Impact Factor | 3.7 |
| Start Date | 2023-05-06 |
| Pages | |
| Issue No | |
| Volume No | |
| DOI | https://doi.org/10.1007/s00500-023-08272-z |
| Paper Status | Published |