Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Universit a degli Studi di Udine Dipartimento di Matematica e Informatica
 

Summary: Universit a degli Studi di Udine
Dipartimento di Matematica e Informatica
Dottorato di Ricerca in Informatica
Ph.D. Thesis
Model Checking for the
Concurrent Constraint Paradigm
Candidate: Supervisor:
Alicia Villanueva Garca Mara Alpuente Frasnedo
Moreno Falaschi

Author's e-mail: alicia@dimi.uniud.it
Author's address:
Dipartimento di Matematica e Informatica
Universita degli Studi di Udine
Via delle Scienze, 206
33100 Udine
Italia

to my father
to my mother and my sister

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences