Verification of sets of infinite state processes using program transformation

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