Seyedehzahra Hosseini

Orcid: 0000-0001-8585-9188

According to our database¹, Seyedehzahra Hosseini authored at least 1 paper in 2023.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2023

Computing Under-approximations of Multivalued Decision Diagrams.

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023