Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
cs-486:homework-9 [2018/11/08 19:30]
egm
cs-486:homework-9 [2018/11/08 19:49] (current)
egm
Line 1: Line 1:
 == Problems == == Problems ==
  
-'''​1. (40 points)'''​ Complete problem 5.27 in [http://​is.ifmo.ru/​books/​_principles_of_model_checking.pdf Principles of Model Checking ] on page 305. Read the protocol carefully, is it is easy to get it wrong.+'''​(40 points)'''​ Complete problem 5.27 in [http://​is.ifmo.ru/​books/​_principles_of_model_checking.pdf Principles of Model Checking ] on page 305. Read the protocol carefully, is it is easy to get it wrong.
  
  
cs-486/homework-9.txt ยท Last modified: 2018/11/08 19:49 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0