spinroot.com
25
Total Links
16
Wikipedia Pages
1
Subdomains
Subdomains
Wikipedia Pages Linking to spinroot.com
Gerard J. Holzmann
View on Wikipedia
5 links on this page
Loading...
Promela
View on Wikipedia
3 links on this page
Loading...
SPIN model checker
View on Wikipedia
2 links on this page
Loading...
Vismon
View on Wikipedia
2 links on this page
Loading...
Semaphore
View on Wikipedia
2 links on this page
Loading...
Wikipedia Links
http://spinroot.com/gerard/hist.html
Anchor text: The Early History of Data Networks
https://spinroot.com/gerard/pdf/acm_awarded.pdf
Anchor text: Software System Award: ACM CITES TOOL TO DETECT SOFTWARE "BUGS" FOR PRESTIGIOUS AWARD. Bell Labs Researcher Developed "SPIN" to Make Computers More Reliable
http://spinroot.com/pico
Anchor text: "Beyond Photography - the digital darkroom".