Schieferdecker, I.K.I.K.Schieferdecker2022-03-092022-03-091996https://publica.fraunhofer.de/handle/publica/325844en004Abruptly terminated connections in TCP - a verification exampleconference paper