search
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
cs-486:homework [2020/02/21 14:16] egm |
cs-486:homework [2020/03/23 11:18] egm |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| * [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw5-buchi-ddfs.md Homework 5] | * [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw5-buchi-ddfs.md Homework 5] | ||
| * [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw6-temporal-logic.md Homework 6] | * [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw6-temporal-logic.md Homework 6] | ||
| + | * [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw7-logic-semantics.md Homework 7] | ||
| + | * [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw8-spin-ltl.md Homework 8] | ||
| + | * [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw9-ctl-fixpoints.md Homework 9] | ||
| == Pre-migrate to Bitbucket Homework == | == Pre-migrate to Bitbucket Homework == | ||
