Report on the Downstream Oil Industry Deregulation Act of 1998 Independent Review Committee June 2005.
1 Data Link Protocols By Erik Reeber. 2 Goals Use SPIN to model-check successively more complex protocols Using the protocols in Tannenbaums 3 rd Edition.