Fernando Tricas
Phone:
(+34) 976762350
Email:
ftricasunizar [dot] es
Homepage:
http://webdiis.unizar.es/~ftricas/
Position:
Ph.D. Member Publications
[RP-95-10] Corrección de programas y Redes de Petri de alto nivel. :184-193.
.
1995.
[TricasMartinez95SMC] An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. :4119-4124.
.
1995. .
1995.