Verification of infinite-state systems by specialization of CLP programs

Chapter
Publication Date:
2001
Iris type:
2.1 Contributo in volume (Capitolo o Saggio)
Keywords:
Computer Science (all); Theoretical Computer Science
List of contributors:
Authors of the University:
Handle:
https://ricerca.unich.it/handle/11564/692397
Book title:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)