Description: solution to problems in this book
http://www-sop.inria.fr/members/Eitan.Altman/COURS-NS/n3.pdf
PS: the output traces .tr and .nam are not included but you can generate them using the existing files
To Search:
File list (Check if you may need any files):
4.7.8\answer 8.txt
.....\max.awk
.....\qm3.out
4.7.8
Download