User Tools
tla:misc:start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
tla:misc:start [2017/11/02 03:01] 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]] State Space Explosion or: How To Fight An Uphill Battle - Markus Kuppe | ||
tla/misc/start.1509591671.txt.gz · Last modified: 2017/11/02 03:01 by jonathan
Page Tools
