Complutense University Library


Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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 Fri Oct 21 03:59:38 2016 CEST.