User Tools
tla:misc:start
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
tla:misc:start [2017/10/31 17:02] jonathan created |
tla:misc:start [2018/09/17 13:47] (current) jonathan |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Miscellaneous Resources ====== | ====== Miscellaneous Resources ====== | ||
| * [[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://www.youtube.com/watch?v=zGIK2p6csAo|Video]] State Space Explosion or: How To Fight An Uphill Battle - Markus Kuppe | ||
tla/misc/start.1509469353.txt.gz · Last modified: 2017/10/31 17:02 by jonathan
Page Tools
