Skip to Main Content (Press Enter)

Logo UNICH
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze

UNI-FIND
Logo UNICH

|

UNI-FIND

unich.it
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze
  1. Pubblicazioni

Proving Correctness of Timed Concurrent Constraint Programs

Contributo in Atti di convegno
Data di Pubblicazione:
2002
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
De Boer, Frank; Gabbrielli, Maurizio; Meo, MARIA CHIARA
Autori di Ateneo:
MEO MARIA CHIARA
Link alla scheda completa:
https://ricerca.unich.it/handle/11564/234599
Titolo del libro:
Foundations of Software Science and Computation Structures, 5th International Conference
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Dati Generali

Dati Generali

URL

http://dblp.uni-trier.de/rec/bib/conf/fossacs/BoerGM02
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.11.5.0