OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: FORMAL LANGUAGES Document Type: Artículo Language: Inglés Year: 2020 Repository: 33

Sort by Score Title Year -

1-1 from 1 results (0.009 seconds)

Title: Formal verification for task description languages. A Petri Net approach
Author: López Fernández, Joaquín / Santana Alonso, Alejandro Alejo / Diaz Cacho Medina, Miguel Ramon
Language: Inglés
Repository: 33
Subject: 1203.04 Inteligencia Artificial / 33 Ciencias Tecnológicas

Acceder

« Previous 1 Next »