This book constitutes the refereed proceedings of the 14th International Conference on Computatio...
InhaltsangabeExplicit-state model checking techniques.- Other related tools.- Techniques for the ...
The idea of this volume originated from the need to have a book for students to support their tra...
This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in...