|
СТ |
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems |
1991 |
Alonso L., Pena R. |
|
|
|
Lecture Notes in Computer Science |
13.09.1991 |
|
СТ |
On the Tree Inclusion Problem |
1993 |
Alonso L., Schott R. |
|
|
|
Lecture Notes in Computer Science |
20.10.1993 |
|
СТ |
Random Generation of Colored Trees |
1995 |
Alonso L., Schott R. |
|
|
|
Lecture Notes in Computer Science |
13.04.1995 |
|
СТ |
An Expert System for the Diagnosis of Glaucoma: "GLAUCOM-EASY" |
1995 |
Simon A., Alonso L., Cabana J. J., Anton A., Maquet J., Pastor J. C. |
|
|
|
Applied Informatics |
14.09.1995 |
