User Tools
tla:misc:start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
tla:misc:start [2018/09/17 13:46] jonathan |
tla:misc:start [2018/09/17 13:47] (current) jonathan |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| * [[https://lamport.azurewebsites.net/tla/tlc-options.html|TLC Command Line Options]] | * [[https://lamport.azurewebsites.net/tla/tlc-options.html|TLC Command Line Options]] | ||
| * [[https://pron.github.io| Ron Pressler Blog]] with commentary on TLA+ | * [[https://pron.github.io| Ron Pressler Blog]] with commentary on TLA+ | ||
| - | * [[https://www.youtube.com/watch?v=zGIK2p6csAo|Video]] | + | * [[https://www.youtube.com/watch?v=zGIK2p6csAo|Video]] State Space Explosion or: How To Fight An Uphill Battle - Markus Kuppe |
tla/misc/start.1537192014.txt.gz · Last modified: 2018/09/17 13:46 by jonathan
Page Tools
