Number of items: 1.

García Merayo, Mercedes and Andrés Sánchez, César and Nuñez García, Manuel (2009) Applying formal passive testing to study temporal properties of the Stream Control Transmission Protocol. In SEFM 2009: Seventh International Conference on Software Engineering and Formal Methods. IEEE Computer Soc, LOS ALAMITOS, pp. 73-82. ISBN 978-0-7695-3870-9

This list was generated on Sun Sep 26 03:14:33 2021 CEST.