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

Subject: Trees Subject: Frameworks Language: Inglés Year: 2006

Sort by Score Title Year -

1-1 from 1 results (0.008 seconds)

Title: Regular hedge model checking
Author: D'Orso, Julien / Touili, Tayssir
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Model checking / Frameworks / Mutual exclusion / Trees

Acceder

« Previous 1 Next »