English
Italiano
Accedi
Indirizzo email
Password
Accedi
Nuovo utente? Clicca qui per registrarti.
Hai dimenticato la password?
Communities & Collezioni
Tutto DSpace
English
Italiano
Accedi
Indirizzo email
Password
Accedi
Nuovo utente? Clicca qui per registrarti.
Hai dimenticato la password?
Home
Sardegna Ricerche
SR Altro
Progetto PROSSIMO: Introduzione al Model Checking
Progetto PROSSIMO: Introduzione al Model Checking
Caricamento...
File
mc.pdf
(1.86 MB)
Data
2019-01-29
Autori
Cicala, Giuseppe
Pulina, Luca
Titolo del periodico
ISSN
Titolo del volume
Editore
Abstract
Descrizione
Keywords
Citazione
URI
http://hdl.handle.net/11050/1419
collections
SR Altro
Mostra tutti i metadati