Verification of infinite-state systems by specialization of CLP programs

Capitolo di libro
Data di Pubblicazione:
2001
Tipologia CRIS:
2.1 Contributo in volume (Capitolo o Saggio)
Keywords:
Computer Science (all); Theoretical Computer Science
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://ricerca.unich.it/handle/11564/692397
Titolo del libro:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)