Yacoub Hendi
Doktorand vid Institutionen för fysik och astronomi; Teoretisk fysik
- E-post:
- yacoub.hendi@physics.uu.se
- Besöksadress:
- Ångströmlaboratoriet, Regementsvägen 10
- Postadress:
- Box 516
751 37 UPPSALA
Doktorand vid Matematiska institutionen; Akademisk personal
- E-post:
- yacoub.hendi@math.uu.se
- Besöksadress:
- Ångströmlaboratoriet, Lägerhyddsvägen 1
- Postadress:
- Box 480
751 06 UPPSALA
Ladda ned kontaktuppgifter för Yacoub Hendi vid Matematiska institutionen; Akademisk personal
Doktorand vid Matematiska institutionen; Centrum för geometri och fysik
- Besöksadress:
- Ångströmlaboratoriet, Lägerhyddsvägen 1
- Postadress:
- Box 480
751 06 UPPSALA
Doktorand vid Matematiska institutionen; Geometri och fysik
- E-post:
- yacoub.hendi@math.uu.se
- Besöksadress:
- Ångströmlaboratoriet, Lägerhyddsvägen 1
- Postadress:
- Box 480
751 06 UPPSALA
Ladda ned kontaktuppgifter för Yacoub Hendi vid Matematiska institutionen; Geometri och fysik
Publikationer
Senaste publikationer
Parameterized Verification under TSO with Data Types
Ingår i Tools and Algorithms for the Construction and Analysis of Systems, s. 588-606, 2023
- DOI för Parameterized Verification under TSO with Data Types
- Ladda ner fulltext (pdf) av Parameterized Verification under TSO with Data Types
Alla publikationer
Konferensbidrag
Parameterized Verification under TSO with Data Types
Ingår i Tools and Algorithms for the Construction and Analysis of Systems, s. 588-606, 2023
- DOI för Parameterized Verification under TSO with Data Types
- Ladda ner fulltext (pdf) av Parameterized Verification under TSO with Data Types