LUIS
ALONSO ROMERO
Investigador en el periodo 1996-2011
Universidad Complutense de Madrid
Madrid, EspañaPublicaciones 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)