Afișare rezultate
Afisarea articolelor 1-1(1) pentru cuvîntul-cheie "strategies and model-checking" 
| Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing |
| Aman Bogdan, Ciobanu Gabriel |
| Computer Science Journal of Moldova |
| Nr. 1(94) / 2024 / ISSN 1561-4042 /ISSNe 2587-4330 |
| Disponibil online 11 April, 2024. Descarcări-0. Vizualizări-109 |
    |
1-1 of 1
