Muhammad Usman Sanwal – Publikationer — Åbo Akademi

Forskningsoutput per år

Om du gjort några ändringar i Pure kommer de visas här snart.

4 Konferensbidrag
4 Artikel
1 Beställd rapport
1 Övriga bidrag
Mer
- 1 Doktorsavhandling

1 resultat

Filter

2021
Towards Scalable Modeling of Biology in Event-B
Sanwal, U., Hoang, T. S., Petre, L. & Petre, I., 20 maj 2021, 18 s. Computer Research Repository.
Forskningsoutput: Övriga bidrag

Öppen tillgång