X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=a3%2F1modelingTCP.tex;h=10e4110eb4b95e1c1f556765988e62c17f5f3b1d;hb=HEAD;hp=20b85000c40bcfd09e7073e2fa0fe1825b971606;hpb=1ac4369b5164a68c8a873ef56599220e8e5a15f2;p=tt2015.git

diff --git a/a3/1modelingTCP.tex b/a3/1modelingTCP.tex
index 20b8500..10e4110 100644
--- a/a3/1modelingTCP.tex
+++ b/a3/1modelingTCP.tex
@@ -1,7 +1,7 @@
 In previous assignments our group has viewed the SUT as a stateful input-output
 system. 
 
-\subsection{Behaviour of the SUT}
+\subsection{Behaviour of the SUT} \label{subsec:behaviour}
 When considering the behaviour of the SUT we abstract away from some details to
 limit the scope of the project. We will only consider the behaviour as the
 sequence of input output flags. All other details required will be implemented