Publications
Filters: Author is F. Tricas [Clear All Filters]
[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.