Sulaimani Journal for Pure and Applied Sciences

Home
Issue
- Current Issue
- Issues
Announcements
Journal Info
Guide for authors
- Submission Guidelines
- Manuscript templates
Submit Manuscript
Publication Policies
Contact Us

- Current Issue
- Issues
- Submission Guidelines
- Manuscript templates

Showing results for : Parosh Aziz Abdulla

Verification of Infinite-State Systems with Probabilistic Behaviour

Pages 81-91

10.17656/jzs.10151

Parosh Aziz Abdulla ; Asso Raouf Majeed ; Sallah Hama Amin

Sulaimani Journal for Pure and Applied Sciences

“We value your work and are committed to supporting you throughout the process.
Thank you for trusting SUJPAS; we look forward to collaborating with you.”

Quick links

Submission Guidelines
Peer-Review policy
FAQ

Principal contact

Assist. Prof. Dr. Omed Mustafa
[email protected]

Technical support

Assist. Prof. Dr. Jabbar Qaradaghi
[email protected]

Copyright © 2026 Sulaimani Journal for Pure and Applied Sciences.

Developed by Smarthand

Privacy Policy & Terms

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.