1 files changed, 81 insertions, 0 deletions
diff --git a/books/workshops/2000/shumsky/slides2_files/v3_slide0021.htm b/books/workshops/2000/shumsky/slides2_files/v3_slide0021.htm
new file mode 100644
index 0000000..f0e1d30
--- /dev/null
+++ b/books/workshops/2000/shumsky/slides2_files/v3_slide0021.htm
@@ -0,0 +1,81 @@
+<html>
+
+<head>
+<meta http-equiv=Content-Type content="text/html; charset=windows-1252">
+<meta name=ProgId content=PowerPoint.Slide>
+<meta name=Generator content="Microsoft PowerPoint 9">
+<link id=Main-File rel=Main-File href="../slides2.htm">
+<link rel=Preview href=preview.wmf>
+<!--[if !mso]>
+<style>
+v\:* {behavior:url(#default#VML);}
+o\:* {behavior:url(#default#VML);}
+p\:* {behavior:url(#default#VML);}
+.shape {behavior:url(#default#VML);}
+v\:textbox {display:none;}
+</style>
+<![endif]-->
+<title>Developing a Framework for Simulation, Verification and Testing of SDL
+Specifications</title>
+<meta name=Description content="3-Nov-00: Protocol Modeling in SDL: Part 2">
+<link rel=next href="v3_slide0032.htm">
+<![if !ppt]>
+<script>
+<!--
+function Update()
+{
+  if( window.name == "PPTSld" )
+    parent.SlideUpdated('v3_slide0021.htm');   
+  else
+    parent.location.href = "v3_document.htm";
+}
+
+function NoHref() {}
+//-->
+</script>
+<![endif]>
+</head>
+
+<body bgcolor=white alink="#3333cc" link="#ccccff" vlink="#b2b2b2" text=black
+topmargin=0 leftmargin=0 onload="Update()">
+
+<table border=0 valign=top width=475 height=356 cellpadding=0 cellspacing=0>
+ <tr>
+  <td width=8 height=0 nowrap><img src="v3_space.gif" border=0></td>
+  <td width=2 height=0 nowrap><img src="v3_space.gif" border=0></td>
+  <td width=457 height=0 nowrap><img src="v3_space.gif" border=0></td>
+  <td width=1 height=0 nowrap><img src="v3_space.gif" border=0></td>
+ </tr>
+ <tr>
+  <td width=475 height=11 colspan=5></td>
+ </tr>
+ <tr>
+  <td width=10 height=36 colspan=2></td>
+  <td width=457 height=36>
+  <table border=0 valign=top cellpadding=0 cellspacing=0>
+   <tr>
+    <td width=457 height=36 align=center><font face=Tahoma color="#cc0000"
+    size=5>Protocol Modeling in SDL: Part 2</font><br>
+    </td>
+   </tr>
+  </table>
+  </td>
+  <td width=8 height=36 colspan=2></td>
+ </tr>
+ <tr>
+  <td width=475 height=8 colspan=5></td>
+ </tr>
+ <tr>
+  <td width=8 height=291></td>
+  <td width=460 height=291 colspan=3><img src="v3_slide0021_image002.gif"
+  border=0 width=460 height=291></td>
+  <td width=7 height=291></td>
+ </tr>
+ <tr>
+  <td width=475 height=10 colspan=5></td>
+ </tr>
+</table>
+
+</body>
+
+</html>