Gul Agha

If you made any changes in Pure these will be visible here soon.

Research Output

Review article

A survey of statistical model checking

Agha, G. & Palmskog, K., Jan 2018, In : ACM Transactions on Modeling and Computer Simulation. 28, 1, 6.

Research output: Contribution to journalReview article