1. |
|
|
2. |
|
|
3. |
|
|
4. |
|
|
5. |
- Abdulla, Parosh Aziz, et al.
(författare)
-
Regular Model Checking for LTL(MSO)
- 2004
-
Ingår i: Proc. 16th Int. Conf. on Computer Aided Verification, LNCS.
-
Tidskriftsartikel (refereegranskat)
|
|
6. |
|
|
7. |
- Abdulla, Parosh, et al.
(författare)
-
Eager Markov Chains
- 2006
-
Ingår i: Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006). ; s. 24-38
-
Bokkapitel (övrigt vetenskapligt)
|
|
8. |
|
|
9. |
|
|
10. |
|
|