|
СТ |
Static Deadlock Detection in the Linux Kernel |
2004 |
Breuer P. T., Valls G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.07.2004 |
|
СТ |
Higher Order Applicative XML Documents |
2004 |
Breuer P. T., Kloos C. D., Centeno V. L., Sanchez L. F. |
|
|
|
Lecture Notes in Computer Science |
27.04.2004 |
|
СТ |
A Formal Model for the Block Device Subsystem of the Linux Kernel |
2003 |
Breuer P. T. |
|
|
|
Lecture Notes in Computer Science |
09.01.2004 |
|
СТ |
Decompilation is the Efficient Enumeration of Types |
1992 |
Breuer P. T., Bowen J. P. |
|
|
|
BIGRE |
11.11.1992 |
|
СТ |
The Art of Computer Un-Programming: Reverse Engineering in Prolog |
1992 |
Breuer P. T. |
|
|
|
Lecture Notes in Artificial Intelligence |
04.10.1992 |
|
СТ |
Un Langage D Analyse et de Synthese Ayant la Capacite D Apprendre |
1992 |
Breuer P. T., Hogue C. |
|
|
|
BIGRE |
31.03.1992 |
