×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [spin system slide]
Doing More with Less… Ontario Universities Computer Conference John Marrazzo JM Associates john @ higheredinfo.com
215 views
The SPIN System. What is SPIN? Model-checker. Based on automata theory. Allows LTL or automata specification Efficient (on-the-fly model checking, partial
225 views
QGP and Confinement XQCD 2010 Wilhelm and Else Heraeus Seminar Bad Honnef, June 21-23 X-QCD Japan (S.Motoki, K.Nagata, Y.Nakagawa, A. Nakamura and T.Saito)
218 views