|
СТ |
Larger Automata and Less Work for LTL Model Checking |
2006 |
Geldenhuys J., Hansen H. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.05.2006 |
|
СТ |
Tampere Verification Tool |
2004 |
Virtanen H., Hansen H., Valmari A., Nieminen J., Erkkila T. |
|
|
|
Lecture Notes in Computer Science |
15.05.2004 |
|
СТ |
Modular Algebraic Specifications |
1988 |
Hansen H., Lowe M. |
Mathematical Research |
|
|
Algebraic and Logic Programming |
30.06.1995 |
|
СТ |
Compatibility Problems in the Development of Algebraic Module Specifications |
1990 |
Ehrig H., Fey W., Hansen H., Lowe M., Jacobs D., Parisi-Presicce F. |
|
|
|
Theoretical Computer Science |
12.02.1991 |
