|
СТ |
Symbolic Model Checking of Stochastic Systems: Theory and Implementation |
2006 |
Kuntz M., Siegle M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.05.2006 |
|
СТ |
Towards Model Checking Stochastic Process Algebra |
2000 |
Hermanns H., Katoen J. -P., Meyer-Kayser J., Siegle M. |
|
|
|
Lecture Notes in Computer Science |
30.11.2000 |
|
СТ |
Bisimulation Algorithms for Stohastic Process Algebras and Their BDD-Based Implementation |
1999 |
Hermanns H., Siegle M. |
|
|
|
Lecture Notes in Computer Science |
18.06.1999 |
|
СТ |
Monitoring Program Behaviour on SUPRENUM |
1992 |
Siegle M., Hofmann R. |
|
|
|
Computer Architecture News |
24.02.1992 |
