Diseño y análisis formal de sistemas de software
FADOSS
Universitat Politècnica de Catalunya
Barcelona, EspañaPublicaciones en colaboración con investigadores/as de Universitat Politècnica de Catalunya (4)
2014
-
Psi-series method for equality of random trees and quadratic convolution recurrences
Random Structures and Algorithms, Vol. 44, Núm. 1, pp. 67-108
1991
-
Acceptance automata: A framework for specifying and verifying TCSP parallel systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1990
-
Algebraic simplification in computer algebra: an analysis of bottom-up algorithms
Theoretical Computer Science, Vol. 74, Núm. 3, pp. 273-298
1989
-
Specification and verification of TCSP systems by means of partial abstract data types
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)