LUIS
ALONSO ROMERO
Investigador no período 1996-2011
Universidad Complutense de Madrid
Madrid, EspañaPublicacións en colaboración con investigadores/as de Universidad Complutense de Madrid (1)
1993
-
A technique for specifying and refining TCSP processes by using guards and liveness conditions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)