Formal verification for an extended model
| dc.contributor.author | MEZIANI, Ahlam | |
| dc.contributor.author | KHOBIZI, Yasmina | |
| dc.date.accessioned | 2025-03-12T09:18:53Z | |
| dc.date.available | 2025-03-12T09:18:53Z | |
| dc.date.issued | 2024 | |
| dc.identifier.citation | SCIENCE EXACTE | en_US |
| dc.identifier.uri | http://172.16.99.83:4000/handle/123456789/17926 | |
| dc.publisher | Université de bouira AKLI MOHAND OULHADJ | en_US |
| dc.title | Formal verification for an extended model | en_US |
| dc.type | Other | en_US |